diff options
| author | Amin Bandali <bandali@gnu.org> | 2019-01-22 23:49:33 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2019-01-22 23:49:33 -0500 |
| commit | a504a2b8445b8e7cc1fcc6d387adfb41bc7537c4 (patch) | |
| tree | 687a79cd33b6458340ccdd6571212e8cece7c401 /etc | |
| parent | edb7f0a4fb46e8f60636a85f2e1cb5710a772125 (diff) | |
| download | configs-a504a2b8445b8e7cc1fcc6d387adfb41bc7537c4.tar.gz configs-a504a2b8445b8e7cc1fcc6d387adfb41bc7537c4.tar.xz configs-a504a2b8445b8e7cc1fcc6d387adfb41bc7537c4.zip | |
[emacs/footnote] comment out styling changes
while the unicode style is prettier, i think the simple ascii version
would be more accessible and e.g. more search-friendly
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions