From 8a3001c5a9c33b331b594803149785b02fd35ac3 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Sun, 31 May 2015 12:00:00 +0200
Subject: Add GitHub link
---
index.html | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/index.html b/index.html
index 038f9ee..80f9fb7 100644
--- a/index.html
+++ b/index.html
@@ -5,7 +5,7 @@
Count commands used in a Coq script
- Copyright © 2015 Camil Staps - licensed under MIT.
+ Copyright © 2015 Camil Staps - licensed under MIT. See GitHub for details.
@@ -22,4 +22,4 @@
});
-