This commit is contained in:
Yan Lin 2025-11-21 18:29:23 +01:00
parent ea4e6ff2b5
commit 802a859c78

View file

@ -117,8 +117,6 @@ let
ask = [
# File system modifications
"Write(*)"
"Edit(*)"
"Bash(mkdir:*)"
"Bash(rmdir:*)"
"Bash(mv:*)"