/change-copyright.pl/1.1.1.1/Tue May 24 17:59:36 2011//
/change-license.pl/1.3/Wed Aug 28 19:07:22 2013//
/license.txt/1.2/Wed Aug 28 19:07:22 2013//
/make-tags/1.1.1.1/Tue May 24 17:59:36 2011//
/rlog-tools.el/1.1.1.1/Tue May 24 17:59:36 2011//
D
