Fri, 27 Aug 2010 00:02:32 +0200 | wenzelm | eliminated old 'local' command; | changeset | files |
Thu, 26 Aug 2010 21:04:22 +0200 | wenzelm | more uniform descriptions, which end up in the collective output of 'print_attributes' for example; | changeset | files |