diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-04-08 16:27:55 +0200 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-04-08 16:29:16 +0200 |
| commit | bfdfbb2148a1c4ec2e0bf9c3eb4cd78ee79d91e3 (patch) | |
| tree | ddb605f1294b033d2d166afd9534e65099f2c750 /.gitignore | |
| parent | 43fba1c1e2938b5160df5dd973f168504826facf (diff) | |
Remove unused prolog.util.normalized
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions