From f714efc1b0b88ec5041c1acb5405e0dc34553815 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 8 May 2015 13:02:09 +0300
Subject: Bugfix; licensing; copyright & contact details; readme
---
index.html | 11 +++++++++--
1 file changed, 9 insertions(+), 2 deletions(-)
(limited to 'index.html')
diff --git a/index.html b/index.html
index 549b2cb..038f9ee 100644
--- a/index.html
+++ b/index.html
@@ -4,14 +4,21 @@
Coq commands counter
-
+ Count commands used in a Coq script
+ Copyright © 2015 Camil Staps - licensed under MIT.
+
+
--
cgit v1.2.3