diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-07-08 15:29:45 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-07-08 15:29:45 +0200 |
| commit | 3dd24bd40d15bdd10e1fd183995935d4e7786e31 (patch) | |
| tree | 91accc3771e84dc5b53972748fe9332d88834067 /.gitignore | |
| parent | ce15fc3472f93b3d213d220f6a144cf58a0b5706 (diff) | |
| download | docs-3dd24bd40d15bdd10e1fd183995935d4e7786e31.tar.gz docs-3dd24bd40d15bdd10e1fd183995935d4e7786e31.tar.bz2 docs-3dd24bd40d15bdd10e1fd183995935d4e7786e31.zip | |
update specification for #6416
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions