Moved tools like check-ci into tools/ and updated the glossary

This commit is contained in:
2025-07-20 17:00:26 +03:00
parent eda87f553a
commit 3fcaf10033
7 changed files with 55 additions and 31 deletions

View File

@@ -10,4 +10,4 @@ procs:
messages-log:
shell: "tail -f messages.log"
check-ci:
shell: "./check-ci.sh"
shell: "./tools/check-ci.sh"