Add gitignore files
authorMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Thu, 12 Feb 2009 21:32:30 +0000 (16:32 -0500)
committerMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Thu, 12 Feb 2009 21:32:30 +0000 (16:32 -0500)
commitd486ecdb45ad7b0908b7c4010672af72e5a67caf
tree33e1581ba781c346daf0c86b43b069a0e2135551
parent3a86deba85b5b8bfca24b61610295a764b8f7602
Add gitignore files

Signed-off-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
.gitignore [new file with mode: 0644]
formal-model/.gitignore [new file with mode: 0644]
This page took 0.024717 seconds and 4 git commands to generate.