diff options
| author | Christian Grothoff <christian@grothoff.org> | 2016-10-22 16:06:20 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2016-10-22 16:06:20 +0200 |
| commit | b8245d771f725ad8147e1cf18084518f386beb69 (patch) | |
| tree | bcdbe3f9b9bf1aecfbb968dd9a979a34aaeb2a8d /.gitignore | |
| parent | 6cd80e71f8c03fef437adb2d593cebc63e655df3 (diff) | |
stress that this is about a system in the title
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions