/core_marking2/ default tip
drwxr-xr-x [up]
-rw-r--r-- 2025-09-12 10:36 +0100 4233 docdiff.scala
-rwxr-xr-x 2025-09-12 10:36 +0100 4666 docdiff_test.sh
-rw-r--r-- 2025-09-12 10:36 +0100 148 docdiff_test1.scala
-rw-r--r-- 2025-09-12 10:36 +0100 327 docdiff_test2.scala
-rw-r--r-- 2025-09-12 10:36 +0100 427 docdiff_test3.scala
-rw-r--r-- 2025-09-12 10:36 +0100 308 docdiff_test4.scala
-rwxr-xr-x 2025-09-12 10:36 +0100 583 mk_core2