From a7522a0ea76a6efaed9342d08a95363b56d88d32 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Thu, 8 Nov 2018 15:01:24 +0100
Subject: Remove checker printers

Now that the checker is using the regular kernel files it can also use
the normal printers.
---
 dev/checker_db | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100644 dev/checker_db

(limited to 'dev/checker_db')

diff --git a/dev/checker_db b/dev/checker_db
deleted file mode 100644
index fcb6f679ed..0000000000
--- a/dev/checker_db
+++ /dev/null
@@ -1,5 +0,0 @@
-source checker.dbg
-
-load_printer checker_printers.cmo
-
-source checker_printers.dbg
-- 
cgit v1.2.3