Skip to content

Move tools & configs from /home/user/ to /home/tooling/#115

Merged
AObuchow merged 16 commits intodevfile:mainfrom AObuchow:tooling_dir_newOct 31, 2023

Commits

Commits on Oct 13, 2023