diff --git a/abate b/abate new file mode 160000 index 0000000..97c5224 --- /dev/null +++ b/abate @@ -0,0 +1 @@ +Subproject commit 97c52244e13f02ae358092b4d9cc48445f7ebbda diff --git a/hawick b/hawick new file mode 160000 index 0000000..05d80f2 --- /dev/null +++ b/hawick @@ -0,0 +1 @@ +Subproject commit 05d80f20f8913d756c73cf877c4100f592f320b2 diff --git a/meyer b/meyer new file mode 160000 index 0000000..d30df0e --- /dev/null +++ b/meyer @@ -0,0 +1 @@ +Subproject commit d30df0e98ceaed1697eefc0c558d7c8d6456867a diff --git a/tarjan b/tarjan new file mode 160000 index 0000000..ecc6296 --- /dev/null +++ b/tarjan @@ -0,0 +1 @@ +Subproject commit ecc6296d8540e97f1232789bff92bbbda346845b