admin.el tweaks
authorGlenn Morris <rgm@gnu.org>
Sat, 10 May 2014 21:59:05 +0000 (14:59 -0700)
committerGlenn Morris <rgm@gnu.org>
Sat, 10 May 2014 21:59:05 +0000 (14:59 -0700)
commit732fbcd9d1c0262012e7d405d6519d20a8a5f769
treed376c7e1e58d712bd6d698f446acd15b57c0bf44
parent6b45ef356516c224e88b410edaab43d4c58f94dc
admin.el tweaks

* admin/admin.el (set-version-in-file): Don't set identical version.
(set-version): Provide default version number.
(set-version, set-copyright): Give start/end messages.
admin/ChangeLog
admin/admin.el