From 2b428cd4253a1179a9701ea838fa4a547008e134 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Thu, 16 Jan 2014 20:45:55 +0100
Subject: [PATCH] oops

---
 system/.gitignore | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/system/.gitignore b/system/.gitignore
index 5e2f36f..3755e1d 100644
--- a/system/.gitignore
+++ b/system/.gitignore
@@ -1,4 +1,4 @@
 *.pyc
 key*.pub
 key*.rsa
-args-*
+arg-*
-- 
2.43.0