diff options
| author | tomsmeding <tom.smeding@gmail.com> | 2017-08-12 18:47:51 +0200 |
|---|---|---|
| committer | tomsmeding <tom.smeding@gmail.com> | 2017-08-12 18:48:05 +0200 |
| commit | 3bae8d0bd075693a88563a225e8a2c2f3d248e76 (patch) | |
| tree | 2fe70c4afce34d45fa26d74a877214fcaf213924 /.gitignore | |
| parent | f98bf923d17a34d7833e9a8fe86b06faaef54bd7 (diff) | |
Indicate which intervals are closed and which are open
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions