mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-08-19 14:15:50 +02:00
Code Issues Wiki Activity

[releng] Final location for doc builder

Browse source 
Change-Id: I8adde11492ba5b8721db478eaacf83a4abdd215d
This commit is contained in:
Jonah Graham 2022-04-10 14:54:35 -04:00
parent a7152f25d9
commit 8dc7748433
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
pom.xml
View file

@ -43,7 +43,7 @@
<!-- When changing this value, consider also bumping the version numbers of all the docs plug-ins (those with build-doc profile in pom.xml)
so that compare&replace does not replace the the newly built docs because the only change is in the filtered out index/* resources. -->
<help-docs-eclipserun-repo>https://download.eclipse.org/eclipse/updates/4.23-I-builds/</help-docs-eclipserun-repo>
<help-docs-eclipserun-repo>https://download.eclipse.org/eclipse/updates/4.23/</help-docs-eclipserun-repo>
<tycho.scmUrl>scm:git:https://git.eclipse.org/r/cdt/org.eclipse.cdt</tycho.scmUrl>
<base.test.vmargs>-Xms256m -Xmx512m -ea</base.test.vmargs>