commit | ebe849bc66501a1532dbbdaece6f0c9e86a47ffe | [log] [tgz] |
---|---|---|
author | Ed Willink <ed@willink.me.uk> | Sun Mar 03 08:01:51 2024 +0000 |
committer | Ed Willink <ed@willink.me.uk> | Sun Mar 03 10:37:16 2024 +0000 |
tree | 8fe7e4ff1692794925e5db455408586fad9682d4 | |
parent | f9e651607ac5e7f5b9a1b8d3ff905b1b1d35f28d [diff] [blame] |
[582988] Introduce JustJ promotion/site management
diff --git a/releng/org.eclipse.ocl.releng.build-site/pom.xml b/releng/org.eclipse.ocl.releng.build-site/pom.xml index 2342cca..41bbd00 100644 --- a/releng/org.eclipse.ocl.releng.build-site/pom.xml +++ b/releng/org.eclipse.ocl.releng.build-site/pom.xml
@@ -33,6 +33,7 @@ <filtering>true</filtering> <includes> <include>publisher.properties</include> + <include>justj-promoter.properties</include> </includes> </resource> <resource>