Skip to content
GitLab
Explore
Sign in
Utilities
Kate
Commits
bc5b7aa7
Commit
bc5b7aa7
authored
Aug 04, 2022
by
Pablo Rauzy
Committed by
Christoph Cullmann
Aug 14, 2022
Browse files
rename kmremove to kmdelete (km[r] prefix may be useful for [r]ecord in the future)
parent
00d389e7
Changes
1
Hide whitespace changes
Inline
Side-by-side
Preview
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Save comment
Cancel
Please
register
or
sign in
to comment