diff options
| author | Daniele Varrazzo <daniele.varrazzo@gmail.com> | 2019-02-17 01:48:33 +0100 |
|---|---|---|
| committer | Daniele Varrazzo <daniele.varrazzo@gmail.com> | 2019-02-17 00:58:27 +0000 |
| commit | f70d6fd0edaa56027fb3047477ee850dba2b529e (patch) | |
| tree | 6e25e7f60573afdc4bc310023fa07b3399de1f35 /scripts/make_errors.py | |
| parent | e5e8cec350d5a8c4494d2164bdaffa7cb5213f5b (diff) | |
Dropped text docs generation
Diffstat (limited to 'scripts/make_errors.py')
0 files changed, 0 insertions, 0 deletions