diff options
| author | Christian Grothoff <christian@grothoff.org> | 2017-06-11 11:48:55 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2017-06-11 11:48:55 +0200 |
| commit | 30f1d7b2440a2e5f38a75093cb771eb556fa30e6 (patch) | |
| tree | 3953101f03c4872203313c0a797d254db1142633 /doc/paper | |
| parent | 110d0cc71cc4814182bb2d38c3cb304abe5d5407 (diff) | |
add new test to ignore files
Diffstat (limited to 'doc/paper')
0 files changed, 0 insertions, 0 deletions