diff options
author | Andrej Shadura <andrewsh@debian.org> | 2018-12-27 20:09:42 +0100 |
---|---|---|
committer | Andrej Shadura <andrewsh@debian.org> | 2018-12-27 20:10:06 +0100 |
commit | d1d8107c8a9ea544f5eefa4a658cb3c2df072cec (patch) | |
tree | c6802e431ba5c016669378d7299ff4ef69ffa599 /debian/maven.properties | |
parent | 0b654f9abe402c05099eef2bfdb89903d2c34310 (diff) |
Refresh maven rules
Diffstat (limited to 'debian/maven.properties')
-rw-r--r-- | debian/maven.properties | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/debian/maven.properties b/debian/maven.properties index e593715..0696624 100644 --- a/debian/maven.properties +++ b/debian/maven.properties @@ -1,5 +1,3 @@ # Include here properties to pass to Maven during the build. -# For example: -# maven.test.skip=true maven.test.skip=true |