comparison etc/MACHINES @ 34402:5eec8d1d09f0

Update to RefTeX 4.15, see ChangeLog for details
author Carsten Dominik <dominik@science.uva.nl>
date Sun, 10 Dec 2000 11:00:45 +0000
parents ba48db63fa14
children 8de4d56acf6e
comparison
equal deleted inserted replaced
34401:120509642076 34402:5eec8d1d09f0