From 87cbd64254f33439882156d9a297a6a2f6886057 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Sat, 16 Dec 2017 10:58:52 +0100
Subject: Cleanup debug printers a bit, add generated mli.

---
 dev/set_raw_db | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 dev/set_raw_db

(limited to 'dev/set_raw_db')

diff --git a/dev/set_raw_db b/dev/set_raw_db
deleted file mode 100644
index 5caff7e5d4..0000000000
--- a/dev/set_raw_db
+++ /dev/null
@@ -1 +0,0 @@
-install_printer Top_printers.ppconstrdb
-- 
cgit v1.2.3