diff options
author | Sam Steingold <[email protected]> | 2002-07-01 19:55:45 +0000 |
---|---|---|
committer | Sam Steingold <[email protected]> | 2002-07-01 19:55:45 +0000 |
commit | 7abc9addc7501da288dd0af9fd2bdcf8bcca0c6d (patch) | |
tree | 294728059f9080b2bcf79980d922906edb16df29 /.gitignore | |
parent | ce827a7d43e491c5c8782e7e9f61779d9066596d (diff) |
(tex-file): call `save-some-buffers' before `tex-main-file'
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions