diff options
author | Amin Bandali <bandali@gnu.org> | 2019-08-11 10:59:29 -0400 |
---|---|---|
committer | Amin Bandali <bandali@gnu.org> | 2019-08-11 10:59:29 -0400 |
commit | 748bd8acfa59861bc22a5f0017bfb830f9ac743e (patch) | |
tree | 5c8a6d3057d19625810ff1492f9aa9b94419dd79 /.config/profiles | |
parent | a9ddb26d53ad9a48b08ac4b7bf6c74bf488abe9e (diff) | |
download | configs-748bd8acfa59861bc22a5f0017bfb830f9ac743e.tar.gz configs-748bd8acfa59861bc22a5f0017bfb830f9ac743e.tar.xz configs-748bd8acfa59861bc22a5f0017bfb830f9ac743e.zip |
emacs: disable tex-mode's prettification of -- and ---
Diffstat (limited to '.config/profiles')
0 files changed, 0 insertions, 0 deletions