Skip to content

Commit 614d30a

Browse files
committed
Standardize workspace: Justfile migration and A2ML directive cleanup
1 parent 35290d7 commit 614d30a

11 files changed

Lines changed: 11 additions & 11 deletions

HOL

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
Subproject commit 7132307ded258f5f56c672d45a27cc9e4456f4ae
1+
Subproject commit f26ba140abde8c3900e1e5a6fa816e1e3b3e7eba

Rescript-TEA

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
Subproject commit 4cc1bd19b4c4f063e75ba9e2c39eed3af6f35ea0
1+
Subproject commit 1bfc3b9bfd142ef7d42f5033a541ca72313fb79b

burble

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
Subproject commit 0475337e294d00bed32e22a87dcec00baed3e00d
1+
Subproject commit fd8910514c9eda04ff10a4d5cfc40eaa65ec37d9

civic-connect

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
Subproject commit ba1d71f85fb5ab40d8ffaa78ad26242e58ab6a0a
1+
Subproject commit d49f7a7f8624afeaccc1be7bb773077cfab70909

github-slideshow

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
Subproject commit 0c226410fa9c01d615ce6d8725709b0346bb5473
1+
Subproject commit 866ea718142c4cce162d96e726e9a6f1d7eb11cf

launch-scaffolder

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
Subproject commit e507cf27e5108e2a8901f0d5b497c9b355c70cc7
1+
Subproject commit dbe6e79b2f0e14964ee275686ecd2d930a6d089b

lua-filters

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
Subproject commit 7f114f6773560b92687fae56c848b58a81943cb3
1+
Subproject commit e1682a84ef926a99614ac78bb068f518d7836507

nextgen-databases

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
Subproject commit 2a43dff3270744b952ae33b37da8f1d93662b5bb
1+
Subproject commit 11f8541b97004406e9780d1a6ca9cbd3a3d731ae

nextgen-languages

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
Subproject commit 5931198a99756f765bc1b0e1589429e2fe5830cc
1+
Subproject commit 85e50cca3a1f3cb2b922894d452eb69fc9a20c06

rescript

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
Subproject commit b7d13c3c7d3d4f708db89808a9d5ad2a948ec9b5
1+
Subproject commit 18a4cf7f9c490ee54fc0b161dbf84b6ba48dc1e8

0 commit comments

Comments
 (0)