Rename files (remove stm_ prefix)

pull/3213/head
bcostm 2016-10-27 10:27:22 +02:00
parent 589500642a
commit 6baec10d29
4 changed files with 0 additions and 0 deletions