| Fri, 20 Jul 2012 15:48:22 +0200 | wenzelm | basic support for stand-alone options with external string representation; | changeset | files |
| Fri, 20 Jul 2012 12:45:12 +0200 | wenzelm | minimal build_job; | changeset | files |
| Fri, 20 Jul 2012 12:27:25 +0200 | wenzelm | restrict to required sessions; | changeset | files |