/core_marking2/
drwxr-xr-x [up]
-rw-r--r-- 2022-08-04 16:53 +0200 4233 docdiff.scala
-rwxr-xr-x 2022-08-04 16:53 +0200 4580 docdiff_test.sh
-rw-r--r-- 2022-08-04 16:53 +0200 119 docdiff_test1.scala
-rw-r--r-- 2022-08-04 16:53 +0200 295 docdiff_test2.scala
-rw-r--r-- 2022-08-04 16:53 +0200 387 docdiff_test3.scala
-rw-r--r-- 2022-08-04 16:53 +0200 273 docdiff_test4.scala
-rwxr-xr-x 2022-08-04 16:53 +0200 583 mk_core2