From 7c24601916f6f47b33a715719efcdf7964711fe8 Mon Sep 17 00:00:00 2001
From: AJ Rossini <blindglobe@gmail.com>
Date: Mon, 2 Jul 2007 08:56:00 +0200
Subject: [PATCH] git support, via targets and ignoring

---
 .gitignore   | 5 +++--
 Makefile.git | 6 ++++++
 2 files changed, 9 insertions(+), 2 deletions(-)
 create mode 100644 Makefile.git

diff --git a/.gitignore b/.gitignore
index 2af9e5f..d97e072 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
-*.fsl
-*.o
+semantic.cache
 *~
+*.o
+*.fsl
diff --git a/Makefile.git b/Makefile.git
new file mode 100644
index 0000000..63d4444
--- /dev/null
+++ b/Makefile.git
@@ -0,0 +1,6 @@
+## -*- mode: makefile -*-
+
+git-push :
+	git repack -a -d
+	git push --all git+ssh://repo.or.cz/srv/git/cls.git
+
-- 
2.11.4.GIT