--- a/marking/mk	Tue Oct 29 11:11:44 2019 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,14 +0,0 @@
-#!/bin/sh
-###set -e
-
-trap "exit" INT
-for sd in k*; do
-  cd $sd
-  echo $sd
-  touch .
-  #../mark
-  ../mark01b
-  cd ..
-done
-
-