From 15c34fa88b85308f6a503beaff3b307e764bc544 Mon Sep 17 00:00:00 2001 From: Yuval Adam Date: Mon, 27 Oct 2014 10:54:37 +0200 Subject: Add github ribbon --- index.html | 2 ++ 1 file changed, 2 insertions(+) (limited to 'index.html') diff --git a/index.html b/index.html index 081ddca..bc52e04 100644 --- a/index.html +++ b/index.html @@ -251,6 +251,8 @@ a.tocentry:visited { +Fork me on GitHub +

אי שלמות ואי כריעות בשפות פורמליות
-- cgit v1.3.1