Various changes

propensive · Jun 1, 2022 · c5db71a · c5db71a
1 parent 21a4b0d
commit c5db71a
Show file tree

Hide file tree

Showing 5 changed files with 227 additions and 223 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -1,3 +1,6 @@
 [submodule "one"]
 	path = one
 	url = https://github.com/propensive/one
+[submodule "dotty"]
+	path = dotty
+	url = https://github.com/lampepfl/dotty
diff --git a/build.irk b/build.irk
@@ -1,5 +1,5 @@
 {
-  "imports": ["one/build.irk"],
+  "imports": ["../one/build.irk"],
   "publishing": {
     "username": "propensive",
     "group": "com.propensive",
@@ -25,7 +25,7 @@
           "acyclicity/core", "jovian/core", "scintillate/core", "euphemism/core", "honeycomb/core",
           "exoskeleton/core", "clairvoyant/time", "imperial/core", "tarantula/core"],
       "sources": ["src/core"],
-      "version": "0.5.0",
+      "version": "0.5.1",
       "docs": ["doc"],
       "artifact": {
         "main": "irk.Irk",

diff --git a/doc/.version b/doc/.version
@@ -1 +1 @@
-0.5.0
+0.5.1
diff --git a/dotty b/dotty