cro_merge_2024-11 #8

Merged
craig merged 2113 commits from cro_merge_2024-11 into master 2024-11-13 18:38:51 +00:00
1 changed files with 1 additions and 2 deletions
Showing only changes of commit 8fe56b0624 - Show all commits

View File

@ -1,4 +1,3 @@
# cut them down
This is an idiom. Alternate translation: "kill them" (See: [[rc://en/ta/man/jit/figs-idiom]])
"kill them"