diff options
author | Juanma Barranquero <[email protected]> | 2005-08-31 13:47:51 +0000 |
---|---|---|
committer | Juanma Barranquero <[email protected]> | 2005-08-31 13:47:51 +0000 |
commit | 6e0f362cb0a10f1a71fcc10ca8c979de4673217c (patch) | |
tree | 5c7a8fc31d1c494d9ae705a522a06d175106821e /man/reftex.texi | |
parent | e47a90e571ff699fd2df7b5b5ccb4b745630082d (diff) |
(add-log-buffer-file-name-function): Add defvar.
Diffstat (limited to 'man/reftex.texi')
0 files changed, 0 insertions, 0 deletions