diff options
author | Christian Grothoff <christian@grothoff.org> | 2021-01-04 19:25:19 +0100 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2021-01-04 19:25:19 +0100 |
commit | 9b55859fa3c3c02857955546ea84a09eca4c5050 (patch) | |
tree | b50ac35224c7268d39d56b3eec4dbc2aa67da6da /.gitignore | |
parent | fe16f69805aa62ff0394542a7aa43b09b9d9e65e (diff) | |
download | docs-9b55859fa3c3c02857955546ea84a09eca4c5050.tar.gz docs-9b55859fa3c3c02857955546ea84a09eca4c5050.tar.bz2 docs-9b55859fa3c3c02857955546ea84a09eca4c5050.zip |
clarifications based on discussion with Florian
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions