Reverted dev/ back to development/

emmo-repo · Dec 12, 2023 · f8c238c · f8c238c
1 parent 8b24df0
commit f8c238c
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 0 deletions.
diff --git a/dev/emmo-inferred.ttl → development/emmo-inferred.ttl b/dev/emmo-inferred.ttl → development/emmo-inferred.ttl
diff --git a/dev/emmo.ttl → development/emmo.ttl b/dev/emmo.ttl → development/emmo.ttl