diff options
| author | Amin Bandali <bandali@gnu.org> | 2018-11-11 22:05:53 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2018-11-11 22:05:53 -0500 |
| commit | e27e03831ecdbe42dfaa8b5578b25bdb7c6da45e (patch) | |
| tree | e14e7ecfa3eac65cc8e9adc4c8a3e6e4f838cdf7 /lib/boogie-friends | |
| parent | 1a46b236280976a8dd3777be7a12c48bc6e62ca5 (diff) | |
| download | configs-e27e03831ecdbe42dfaa8b5578b25bdb7c6da45e.tar.gz configs-e27e03831ecdbe42dfaa8b5578b25bdb7c6da45e.tar.xz configs-e27e03831ecdbe42dfaa8b5578b25bdb7c6da45e.zip | |
[emacs] comment out Server and Unicode init.org sections
Diffstat (limited to 'lib/boogie-friends')
0 files changed, 0 insertions, 0 deletions