diff options
Diffstat (limited to 'rules.pl')
| -rw-r--r-- | rules.pl | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/rules.pl b/rules.pl deleted file mode 100644 index 5c54419..0000000 --- a/rules.pl +++ /dev/null @@ -1,2 +0,0 @@ -submit_rule(submit(W)) :- - W = label('Any-Label-Name', ok(_)). |