mirror of
https://github.com/urbit/shrub.git
synced 2024-12-20 01:01:37 +03:00
Merge branch 'pre-release/next-userspace' into release/next-userspace
This commit is contained in:
commit
b7e52edd58
@ -334,9 +334,11 @@
|
||||
^- (unit (unit cage))
|
||||
?: =(/x/dbug/state path)
|
||||
``noun+(slop !>(state(inner-state *vase)) on-save:og)
|
||||
?. =(/x/sharing path)
|
||||
(on-peek:og path)
|
||||
``noun+!>(sharing)
|
||||
?+ path (on-peek:og path)
|
||||
[%x %sharing ~] ``noun+!>(sharing)
|
||||
[%x %version ~] ``version+!>(version.config)
|
||||
[%x %min-version ~] ``version+!>(version.config)
|
||||
==
|
||||
--
|
||||
|_ =bowl:gall
|
||||
+* og ~(. push-hook bowl)
|
||||
|
@ -3,6 +3,7 @@
|
||||
++ grow
|
||||
|%
|
||||
++ noun ver
|
||||
++ json (numb:enjs:format ver)
|
||||
--
|
||||
++ grab
|
||||
|%
|
||||
|
Loading…
Reference in New Issue
Block a user