From 8da977e575e7453a24f364b115491e70aa0a0763 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Mon, 31 Jan 2011 12:54:25 +0000
Subject: Old debug setting

---
 coq/coq-autotest.el | 2 --
 1 file changed, 2 deletions(-)

(limited to 'coq/coq-autotest.el')

diff --git a/coq/coq-autotest.el b/coq/coq-autotest.el
index 9d12fa1b..f042b748 100644
--- a/coq/coq-autotest.el
+++ b/coq/coq-autotest.el
@@ -14,8 +14,6 @@
 
 (require 'pg-autotest)
 
-(setq pg-autotest-debug t)
-
 (unless noninteractive
 
   (pg-autotest start 'debug)
-- 
cgit v1.2.3