random things...

This commit is contained in:
2019-01-18 17:09:15 +01:00
parent 5faccb1724
commit 254ae77e1a
6 changed files with 31 additions and 16 deletions

1
.gitignore vendored
View File

@@ -4,6 +4,7 @@ fake-values
essai
serial/t
core/t
core/*.a
doc/*.toc
doc/*.log