Upgrade Ur/Web version · a3fc22a9d7 - Gogs

Upgrade Ur/Web version

Adam Chlipala há 10 anos atrás

pai

e52e9891c1

commit

a3fc22a9d7

1 ficheiros alterados com 1 adições e 1 exclusões

Visão Unificada Mostrar Estatísticas Diff

						
							+ 1
							
							- 1
						
frameworks/Ur/urweb/install.sh
							 
								Ver Ficheiro
							
															@@ -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)