From b7cefbb8906a6edad4fd5445c50c41adba582b87 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 8 May 2015 12:54:40 +0300
Subject: This seems to work
---
index.html | 18 ++++++++++++++++++
1 file changed, 18 insertions(+)
create mode 100644 index.html
(limited to 'index.html')
diff --git a/index.html b/index.html
new file mode 100644
index 0000000..549b2cb
--- /dev/null
+++ b/index.html
@@ -0,0 +1,18 @@
+
+
+
+ Coq commands counter
+
+
+
+
+
+
+
+
+
+
\ No newline at end of file
--
cgit v1.2.3