diff options
author | Glenn Morris <rgm@gnu.org> | 2011-01-02 16:35:01 -0800 |
---|---|---|
committer | Glenn Morris <rgm@gnu.org> | 2011-01-02 16:35:01 -0800 |
commit | 287d4c2ca317cf6427ddd9202c104c5be2f8a9af (patch) | |
tree | c8c7170cc0c569ba3887a075b868e2953684ff79 /etc/refcards | |
parent | ca7e8408638af626cd0cd544ae0bfd2d1ad6399f (diff) |
* admin/admin.el (set-copyright): Also handle \year in refcards/*.tex.
Diffstat (limited to 'etc/refcards')
0 files changed, 0 insertions, 0 deletions