diff options
| -rwxr-xr-x | tools/maven-central/deploy.rb | 2 | ||||
| -rwxr-xr-x | tools/maven-central/download.rb | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/tools/maven-central/deploy.rb b/tools/maven-central/deploy.rb index 8e7adc8934..2744e772a1 100755 --- a/tools/maven-central/deploy.rb +++ b/tools/maven-central/deploy.rb @@ -55,6 +55,8 @@ artifacts = [group, group + '.http.server', group + '.junit', group + '.junit.http', + group + '.lfs', + group + '.lfs.server', group + '.pgm', group + '.ui'] diff --git a/tools/maven-central/download.rb b/tools/maven-central/download.rb index b7ea2150ba..b6c2671742 100755 --- a/tools/maven-central/download.rb +++ b/tools/maven-central/download.rb @@ -15,6 +15,8 @@ artifacts = [group, group + '.http.server', group + '.junit', group + '.junit.http', + group + '.lfs', + group + '.lfs.server', group + '.pgm', group + '.ui'] |