diff options
| author | Timotej Lazar <timotej.lazar@araneo.org> | 2015-03-25 15:35:00 +0100 |
|---|---|---|
| committer | Aleš Smodiš <aless@guru.si> | 2015-08-11 14:26:03 +0200 |
| commit | d492e360586c4ff11f5c87d6d4212cdf2bc9bb36 (patch) | |
| tree | ddb4d564bf95af12b44bdd11340b86485706ff9a /web/.gitignore | |
| parent | ee098e3ec03b58053ae491c68e6e74111f105612 (diff) | |
Remove unused function from prolog.util
Diffstat (limited to 'web/.gitignore')
0 files changed, 0 insertions, 0 deletions