This commit patches build.xml to use the new svn repository address: · DrJavaAtRice/EclipsePlugin@3fc1b74 · GitHub

1. DrJavaAtRice
2. EclipsePlugin

Repository navigation

• Code
• Issues
• Pull requests
• Actions
• Projects
• Wiki
• Security and quality
• Insights

Commit 3fc1b74

Browse filesBrowse the repository at this point in the historyBrowse files

rcartwright

committed

This commit patches build.xml to use the new svn repository address:

https://drjava.svn.sourceforge.net/svnroot/drjava The following file was modified: M build.xml git-svn-id: file:///tmp/test-svn/trunk@5756 fe72c1cf-3628-48e9-8b72-1c46755d3cff

1 parent 523677d commit 3fc1b74
Copy full SHA for 3fc1b74

1 file changed

+1-1Lines changed: 1 addition & 1 deletion

File tree

Expand file treeCollapse file tree

Open diff view settings

Filter options

• drjava
  • build.xml

Expand file treeCollapse file tree

Open diff view settings

Collapse file

‎drjava/build.xml‎

Copy file name to clipboardExpand all lines: drjava/build.xml

+1-1Lines changed: 1 addition & 1 deletion

Original file line number	Diff line number	Diff line change
@@ -12,7 +12,7 @@
12	12	<property name="md5-temp-name" value="classes/md5.properties" />
13	13	<property name="md5-properties-path" value="edu/rice/cs/drjava/md5.properties" />
14	14	<property name="main-class" value="edu.rice.cs.drjava.DrJava" />
15		- <property name="svn-repository" value="https://drjava.svn.sourceforge.net/svnroot/drjava" />
	15	+ <property name="svn-repository" value="https://svn.code.sf.net/p/drjava/code/tags" />
16	16
17	17	<!-- Properties loaded from a file -->
18	18	<property name="props" value="../ant.properties" />

0 commit comments

Comments

0 (0)