diff options
author | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-03-02 15:24:00 +0100 |
---|---|---|
committer | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-03-02 15:24:00 +0100 |
commit | d4e24f31ab51640c2e65eb68446f0d5f6174b7e1 (patch) | |
tree | 6fd93eaa6cca34c30ea97a1cee5ef29507b3c442 /.gitignore | |
parent | e318ce671052e30dff8077d7ca72f8633cab9ffa (diff) |
Improved hints for ancestor/2 and descendant/2.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions