cavatools.git
2023-09-20 Dmitry SelyutinMakefile: trim redundant whitespaces
2023-09-20 Dmitry Selyutin.gitignore: mention ignored files
2023-09-20 Dmitry Selyutincavatools: initialize repository