From bd114ac6342a5dfb6cd6f4a3ee2fbdd0d5820907 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Sun, 26 May 2019 10:08:58 +0200
Subject: [PATCH] comment normalization

---
 _CoqProject | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_CoqProject b/_CoqProject
index f5c3e756..9cbba4e9 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -1,5 +1,5 @@
 -Q theories stdpp
-# "Declare Scope" does not exist yet in 8.9
+# "Declare Scope" does not exist yet in 8.9.
 -arg -w -arg -undeclared-scope
 
 theories/base.v
-- 
GitLab