ref #7858 removing delete button from name editor to avoid problems for some users...
-rw-r--r-- 12662 .gitattributes
-rw-r--r-- 340 .gitignore
drwxr-xr-x - ide
-rwxr-xr-x 20557 pom.xml
drwxr-xr-x - src
drwxr-xr-x - test