summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
JBM [Wed, 20 May 2020 14:53:19 +0000 (16:53 +0200)]
Early termination
JBM [Wed, 20 May 2020 14:10:13 +0000 (16:10 +0200)]
Fill up statement
JBM [Wed, 20 May 2020 14:10:04 +0000 (16:10 +0200)]
More .gitignore
JBM [Wed, 20 May 2020 13:21:22 +0000 (15:21 +0200)]
Initial commit
Ça trolle… / troll.git / log