Delyan Angelov 60f4654bbe tools: make fast.v log all executed commands

2023-01-11 21:05:45 +02:00

..

.gitignore

tools: make fast.v log all executed commands

2023-01-11 21:05:45 +02:00

fast_job.v

…

fast_main.js

…

fast.v

tools: make fast.v log all executed commands

2023-01-11 21:05:45 +02:00

footer.html

…

header.html

tools/fast: make the header a link to /, to ease navigation

2022-12-28 13:51:26 +02:00