chiark / gitweb /
exclude nonsense finkbindir
[disorder] / scripts / check
index b105277776efd3550ddbc7f772e606203016fa3a..1009044651f7629eb77e85f208a9772eacdd5cc1 100755 (executable)
@@ -75,4 +75,3 @@ for my $dir (readdir D) {
 
 print map("$_\n", sort keys %missing);
 
-# arch-tag:PRdTcEnpHD8PVsb6Bp+QTQ