| commit | 1989173848a81639cc39cccde8b55c04b16a3d20 | [log] [tgz] |
|---|---|---|
| author | Ed Willink <ed@willink.me.uk> | Thu Apr 09 16:55:16 2020 +0100 |
| committer | Ed Willink <ed@willink.me.uk> | Thu Apr 09 16:55:16 2020 +0100 |
| tree | 272c285009527f5100f0c32bee9e388d8884fc87 | |
| parent | fb605ded758fadb1312ebdd24abc35c55d724a56 [diff] [blame] |
[561908] Migrate to JIRO
diff --git a/releng/org.eclipse.ocl.releng.build-site/pom.xml b/releng/org.eclipse.ocl.releng.build-site/pom.xml index bcfa7fd..c7c2c5f 100644 --- a/releng/org.eclipse.ocl.releng.build-site/pom.xml +++ b/releng/org.eclipse.ocl.releng.build-site/pom.xml
@@ -27,6 +27,7 @@ <includes> <include>downloads.sh</include> <include>index.html</include> + <include>publish.sh</include> <include>updates.sh</include> </includes> </resource>