diff options
| author | Amin Bandali <bandali@gnu.org> | 2019-02-26 11:19:23 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2019-02-26 11:19:23 -0500 |
| commit | 3f74e7b36898d38f3794afb6acc325ccbf673a83 (patch) | |
| tree | 3f706fc76a1740c9bad0faac9dc14ff2fef240cc /lib/proof-site | |
| parent | c71627dbf76572e1b15cc5864683bcfba875ea68 (diff) | |
| download | configs-3f74e7b36898d38f3794afb6acc325ccbf673a83.tar.gz configs-3f74e7b36898d38f3794afb6acc325ccbf673a83.tar.xz configs-3f74e7b36898d38f3794afb6acc325ccbf673a83.zip | |
[emacs] skeleton for irc setup with ERC and ZNC
Diffstat (limited to 'lib/proof-site')
0 files changed, 0 insertions, 0 deletions