summaryrefslogtreecommitdiff
path: root/.date
diff options
context:
space:
mode:
authorJakob Kaivo <jkk@ung.org>2022-03-27 21:03:39 -0400
committerJakob Kaivo <jkk@ung.org>2022-03-27 21:03:39 -0400
commit4af8886a4bb8963b15af3b3828d33152281bf9a3 (patch)
tree74c08d05c2ad6928031e918bc4e643d473b4bc0d /.date
parent4fc923247e286f73ff873f5562a1d30f0316348f (diff)
remove unused functions normalise(), wff(), and norm1()
Diffstat (limited to '.date')
0 files changed, 0 insertions, 0 deletions