diff options
author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-03-13 21:20:00 +0100 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-03-13 21:20:00 +0100 |
commit | aef533920831d96a4d39271bdbcbcd8e2e76bc4c (patch) | |
tree | c2e3299cff339988cc955600ee6be99109cc2176 /prolog/problems/clp_r/linear_opt_3 | |
parent | 84ac2d8dc04f9a882e6c558319c3029d4c5470e0 (diff) |
Prolog: add generic style check for ":- false."
Diffstat (limited to 'prolog/problems/clp_r/linear_opt_3')
0 files changed, 0 insertions, 0 deletions