mirror of
https://github.com/urbit/shrub.git
synced 2024-12-14 20:02:51 +03:00
bump urbit version number to 0.7.3
This commit is contained in:
parent
6af4af4bcf
commit
2d571aa168
@ -236,7 +236,7 @@ endforeach
|
||||
incdir = include_directories('include/')
|
||||
|
||||
conf_data = configuration_data()
|
||||
conf_data.set('URBIT_VERSION', '"0.7.2"')
|
||||
conf_data.set('URBIT_VERSION', '"0.7.3"')
|
||||
conf_data.set('U3_MEMORY_DEBUG', get_option('gc'))
|
||||
conf_data.set('U3_CPU_DEBUG', get_option('prof'))
|
||||
conf_data.set('U3_EVENT_TIME_DEBUG', get_option('event-time'))
|
||||
|
Loading…
Reference in New Issue
Block a user