diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2017-06-19 12:48:42 +0200 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2017-06-19 12:48:42 +0200 |
| commit | 5cb42b6185cf8e305ff8b8f940431fbad534552d (patch) | |
| tree | 8abecf83c06f0948f3d77da38caed5a36c51fbf6 /.gitignore | |
| parent | 7b1fb3723ad664dd3d53df805645824dab165ffa (diff) | |
Add system/ideals.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions