From 78a60e73ff0398392d55be24f60446c58808509c Mon Sep 17 00:00:00 2001 From: Hendrik Tews Date: Wed, 14 Nov 2012 09:09:32 +0000 Subject: update documentation --- coq/coq-par-compile.el | 6 ------ 1 file changed, 6 deletions(-) (limited to 'coq/coq-par-compile.el') diff --git a/coq/coq-par-compile.el b/coq/coq-par-compile.el index 2d08c218..109b2c2d 100644 --- a/coq/coq-par-compile.el +++ b/coq/coq-par-compile.el @@ -221,12 +221,6 @@ ;;; Variables -(defcustom coq-max-background-compilation-jobs 1 - "Maximal number of background compilation jobs." - :type 'integer - :safe (lambda (v) (and (integerp v) (> v 0))) - :group 'coq-auto-compile) - (defvar coq-par-ancestor-files nil "Hash remembering the state of locked ancestor files. This hash maps true file names (in the sense of `file-truename') -- cgit v1.2.3