summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Thomas Glanzmann [Sat, 22 Jan 2022 20:06:29 +0000 (21:06 +0100)]
more todo
Thomas Glanzmann [Tue, 18 Jan 2022 20:45:55 +0000 (21:45 +0100)]
more to ignore
Thomas Glanzmann [Tue, 18 Jan 2022 20:40:30 +0000 (21:40 +0100)]
first version of the bootstrap