diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-03-16 14:22:26 +0100 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-03-16 14:22:26 +0100 |
| commit | 7267e65d4257402000e6b163291028e191907580 (patch) | |
| tree | dbbfefb7123833d390048d8af82a84b065c037fb /.gitignore | |
| parent | 4f626b88af126ef0749c3f7a0ee89dab16cde30d (diff) | |
PrologSession: remove unused attribute
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions