* trampver.texi: Update release number.
authorMichael Albinus <michael.albinus@gmx.de>
Mon, 7 Oct 2013 12:48:18 +0000 (14:48 +0200)
committerMichael Albinus <michael.albinus@gmx.de>
Mon, 7 Oct 2013 12:48:18 +0000 (14:48 +0200)
commit81856d28fc944c68c0fd76f8df5c4ae073ed67f2
tree85613e5cd3a10888ffe5fb69059ce23e917fdd15
parentf8f91d5d560aa64b7a4e5086eea4903a462afa68
* trampver.texi: Update release number.
doc/misc/ChangeLog
doc/misc/trampver.texi