diff options
| author | Christian Grothoff <christian@grothoff.org> | 2019-10-17 11:16:19 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2019-10-17 11:16:19 +0200 |
| commit | 02e8f7703d16d02f0315a019f42584d51484a3cb (patch) | |
| tree | 98f4919bf59c39698b4c8ceaf59cd4736dbd072b /.gitignore | |
| parent | 608d5ce9438df564497f3fd69b267f59cb230975 (diff) | |
| download | docs-02e8f7703d16d02f0315a019f42584d51484a3cb.tar.gz docs-02e8f7703d16d02f0315a019f42584d51484a3cb.tar.bz2 docs-02e8f7703d16d02f0315a019f42584d51484a3cb.zip | |
spec fix
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions