From 4c4d6cfacf92b555546055a45edc19b68245b83c Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Wed, 6 Jan 2021 14:19:59 +0100
Subject: [sysinit] move initialization code from coqtop to here

We also spill (some) non-generic arguments and initialization code
out of coqargs and to coqtop, namely colors for the terminal. There are
more of these, left to later commits.
---
 sysinit/sysinit.mllib | 1 +
 1 file changed, 1 insertion(+)

(limited to 'sysinit/sysinit.mllib')

diff --git a/sysinit/sysinit.mllib b/sysinit/sysinit.mllib
index 9d35a931bc..715de2bb82 100644
--- a/sysinit/sysinit.mllib
+++ b/sysinit/sysinit.mllib
@@ -1,3 +1,4 @@
 Usage
 Coqloadpath
 Coqargs
+Coqinit
\ No newline at end of file
-- 
cgit v1.2.3