log libinterp/genprops.awk @ 17692:38cf56b77274

age author description
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