Alexander Medvednikov a57e29dfc5 os: replace dir_exists with is_dir; file_exists() => exists()		2019-12-04 23:17:45 +03:00
..
.gitignore	tools/fast.v: calculate the difference between current and previous results	2019-11-20 17:59:37 +03:00
fast.v	os: replace dir_exists with is_dir; file_exists() => exists()	2019-12-04 23:17:45 +03:00
fast_main.js	…
footer.html	…
header.html	tools/fast.v: calculate the difference between current and previous results	2019-11-20 17:59:37 +03:00