Delyan Angelov d91c7f1b3b tools: use --filter=blob:none to reduce initial network trafic for most of the git clone commands, done by tools like oldv, gen_vc, fast_job, v translate etc

2023-08-04 11:50:30 +03:00

..

.gitignore

…

fast_job.v

tools: use --filter=blob:none to reduce initial network trafic for most of the git clone commands, done by tools like oldv, gen_vc, fast_job, v translate etc

2023-08-04 11:50:30 +03:00

fast_main.js

…

fast.v

…

footer.html

…

header.html

…