chiark / gitweb /
* export adt_* variable settings resulting from command-line