summaryrefslogtreecommitdiff
path: root/prolog/facts
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-04-25 15:33:12 +0200
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-04-25 15:33:12 +0200
commit4f2c049c044f64e838ca92349d38528363cce76f (patch)
tree1d602105456f61ccc2585b1f0196e36bddeeefa0 /prolog/facts
parent71174fc52ad759c2530bbb4e135a2bb0cb075902 (diff)
Remove file encoding comments from python files
UTF-8 is the default.
Diffstat (limited to 'prolog/facts')
-rw-r--r--prolog/facts/denotational_semantics_aux__predicates.py2
-rw-r--r--prolog/facts/family_relations.py2
2 files changed, 0 insertions, 4 deletions
diff --git a/prolog/facts/denotational_semantics_aux__predicates.py b/prolog/facts/denotational_semantics_aux__predicates.py
index 044c720..4bf315b 100644
--- a/prolog/facts/denotational_semantics_aux__predicates.py
+++ b/prolog/facts/denotational_semantics_aux__predicates.py
@@ -1,5 +1,3 @@
-# coding=utf-8
-
id = 2
name = 'denotational semantics aux. predicates'
diff --git a/prolog/facts/family_relations.py b/prolog/facts/family_relations.py
index 3b6af10..6be71fa 100644
--- a/prolog/facts/family_relations.py
+++ b/prolog/facts/family_relations.py
@@ -1,5 +1,3 @@
-# coding=utf-8
-
id = 1
name = 'family relations'