|
engine
|
a few fixes
|
2020-03-02 00:29:20 +01:00 |
|
src
|
a few fixes
|
2020-03-02 00:29:20 +01:00 |
|
.envrc
|
Fixes for css too.
|
2019-11-11 01:05:52 +01:00 |
|
.gitignore
|
mess a bit with the CSS
|
2020-02-22 17:11:49 +00:00 |
|
logo-svg.org
|
logo fix, minor hrule fix too
|
2019-12-08 16:00:31 +01:00 |
|
project.el
|
tangle displayed correctly
|
2020-02-29 16:46:07 +01:00 |
|
project.el.sig
|
optim is a bit better
|
2020-02-29 18:19:00 +01:00 |
|
shell.nix
|
minor progress around code source
|
2019-12-16 13:07:02 +01:00 |
|
TODO.org
|
Added an idea in the todos
|
2020-03-02 00:21:56 +01:00 |
