From c3fdc089dd8043eeca15768996133e7bbdc1363c Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Sun, 25 May 2008 22:05:34 +0200
Subject: [PATCH] mop/print-score is gone.

---
 mop/print-score | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100755 mop/print-score

diff --git a/mop/print-score b/mop/print-score
deleted file mode 100755
index 292ca59..0000000
--- a/mop/print-score
+++ /dev/null
@@ -1,5 +0,0 @@
-#!/bin/sh
-set -e
-[ -n "$1" ]
-sed <$1 's/^/   /' | a2ps -Ma4 -r --columns=1 --rows=1 --font-size=10 --borders=no -B -o /tmp/score.ps
-print /tmp/score.ps
-- 
2.39.2