From dde2d99fdf49a190254a18caf55876b67e3ff63b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9onard=20G=C3=A9rard?= <leonard.gerard@ens.fr>
Date: Mon, 14 Feb 2011 15:32:56 +0100
Subject: [PATCH] gitignore and todo.

---
 .gitignore | 6 +++++-
 todo.txt   | 2 +-
 2 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/.gitignore b/.gitignore
index 21fc555..d78b817 100644
--- a/.gitignore
+++ b/.gitignore
@@ -18,8 +18,12 @@ _build
 *.c
 *.h
 *.o
+*.java
+*.class
+*.log
 *.
 *.epci
 *.epo
 *.dot
-test/*.ml
\ No newline at end of file
+test/*.ml
+test/_check_builds
diff --git a/todo.txt b/todo.txt
index a8e0378..ba66f3b 100644
--- a/todo.txt
+++ b/todo.txt
@@ -13,4 +13,4 @@ Plus ou moins ordonné du plus urgent au moins urgent.
 
 *- Permettre la définition de constantes locales.
 
-*- Optimiser le reset en utilisant un memcopy ?
+*- Optimiser le reset en utilisant un memcopy ? ou autre chose ?