diff options
| author | Aleksander Sadikov <sasha@fri.uni-lj.si> | 2015-09-02 18:37:02 +0200 |
|---|---|---|
| committer | Aleksander Sadikov <sasha@fri.uni-lj.si> | 2015-09-02 18:37:02 +0200 |
| commit | 8b115b9d4e1832aea6a95240a44a874a69c3b86b (patch) | |
| tree | 013d100bfa0cc0abd9e4f7f3f7a8c536bba16b21 /.gitignore | |
| parent | 8a78f388e7bde9cabe140092a832855d3940be7d (diff) | |
Added SI version of hints for sister/2.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions