Skip to content
Permalink
Browse files

fixed mistake in url of theories in Timepoints Hierarchy

  • Loading branch information...
gruninger committed May 29, 2018
1 parent faf155f commit dd85e6aa7c37da57a2dafc8fe63f8e5c3186c689
Showing with 1 addition and 1 deletion.
  1. +1 −1 ontologies/timepoints/discrete_linear_point.clif
@@ -3,7 +3,7 @@

(cl-imports http://colore.oor.net/timepoints/linear_point.clif)

(cl-imports lp_discrete.clif)
(cl-imports http://colore.oor.net/timepoints/lp_discrete.clif)

)

0 comments on commit dd85e6a

Please sign in to comment.
You can’t perform that action at this time.