diff options
| author | Amin Bandali <bandali@gnu.org> | 2019-08-26 19:42:37 -0400 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2019-08-26 19:42:37 -0400 |
| commit | 9a5ffb3364a8d0704cbcd4eb96ce31010fcbe065 (patch) | |
| tree | 34d60413c7604cda294a9461c378b825635d7851 /.gitignore | |
| parent | 057a83828a8bf86b27a70031f41c9a99d333bf56 (diff) | |
| download | configs-9a5ffb3364a8d0704cbcd4eb96ce31010fcbe065.tar.gz configs-9a5ffb3364a8d0704cbcd4eb96ce31010fcbe065.tar.xz configs-9a5ffb3364a8d0704cbcd4eb96ce31010fcbe065.zip | |
emacs: add reftex
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions