Merge pull request #1301 from achlipala/master · 346cb37f12 - Gogs

Merge pull request #1301 from achlipala/master

Upgrade Ur/Web version

Mike Smith 10 years ago

parent

e52e9891c1 a3fc22a9d7

commit

346cb37f12

1 changed files with 1 additions and 1 deletions

Unified View Show Diff Stats

						
							+ 1
							
							- 1
						
frameworks/Ur/urweb/install.sh
							 
								View File
							
															@@ -1,6 +1,6 @@
														
															 #!/bin/bash
														
															 #!/bin/bash
														
															-VERSION=20141206
														
															+VERSION=20150103
														
															 COMPILER=${IROOT}/urweb
														
															 COMPILER=${IROOT}/urweb
														
															 RETCODE=$(fw_exists $COMPILER)
														
															 RETCODE=$(fw_exists $COMPILER)