Skip to content
Snippets Groups Projects
Commit e232de51 authored by Harald Judt's avatar Harald Judt
Browse files

For folders copied always append "copy #" to the end of their names (bug #11862)

Files usually have extensions, but most folders do not. This is also the
way the renamer dialog treats filenames, so the behaviour should be the
same.
parent fa3d7d32
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment