diff options
| author | Florian Dold <florian.dold@gmail.com> | 2019-11-20 19:56:28 +0100 |
|---|---|---|
| committer | Florian Dold <florian.dold@gmail.com> | 2019-11-20 19:56:28 +0100 |
| commit | 7974a76228f6474a781524664a455efb3b6faf7b (patch) | |
| tree | 35c8449ac631c50df1b1ca1fd3dd9f9c9cec5bc7 /configure.py | |
| parent | 553da649902f71d5ca34c9a6289ab6b1ef0ba7cb (diff) | |
no more commander.js
Diffstat (limited to 'configure.py')
0 files changed, 0 insertions, 0 deletions