log libinterp/genprops.awk @ 18479:85d31344fb23 stable rc-3-8-1-2

age author description
Wed, 23 Oct 2013 22:09:27 -0400 John W. Eaton maint: Update copyright notices for release.
Mon, 24 Jun 2013 13:49:37 -0700 Rik genprops.awk: Add comment about 'o','O', 'a' options no longer being processed.
Sat, 18 Aug 2012 16:23:39 -0400 John W. Eaton split libinterp from src base src/genprops.awk@3b886ffe3ee9