.settings
|
Fixing the feature
|
2019-09-12 16:05:45 +02:00 |
distro
|
Merged from release branch
|
2019-07-22 09:54:05 +00:00 |
src
|
Only admin can manage profiles
|
2019-09-23 11:15:49 +02:00 |
.classpath
|
Fixing the feature
|
2019-09-12 16:05:45 +02:00 |
.gitignore
|
Ignored generated target directory
|
2019-07-24 18:22:27 +02:00 |
.project
|
Renamed Project
|
2018-12-04 11:30:19 +00:00 |
pom.xml
|
Fixed maven parent version
|
2019-09-24 11:12:17 +02:00 |