Upgrade Ur/Web version · 223189efe1 - Gogs

Переглянути джерело

Upgrade Ur/Web version

Adam Chlipala 10 роки тому

батько

e295c8fa3f

коміт

223189efe1

1 змінених файлів з 1 додано та 1 видалено

Розділений вигляд Показати статистику Diff

						
							+ 1
							
							- 1
						
frameworks/Ur/urweb/install.sh
							 
								Переглянути файл
							
				@@ -1,6 +1,6 @@
			
				 #!/bin/bash
			
				-VERSION=20150412
			
				+VERSION=20150520
			
				 COMPILER=${IROOT}/urweb
			
				 RETCODE=$(fw_exists $COMPILER)