version.texi 93 Bytes
Newer Older
1 2 3 4
@set UPDATED 24 April 2017
@set UPDATED-MONTH April 2017
@set EDITION 2.02
@set VERSION 2.02