urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-12 10:29:01 +03:00
Code Issues Packages Projects Releases Wiki Activity

A %remove status diff now *actually* removes the status.

Browse Source
This commit is contained in:
Fang 2017-12-09 17:17:57 +01:00
parent 211045abdd
commit 3e0a681c2b
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
app/hall.hoon
View File

@ -1562,6 +1562,8 @@
$status
%_ +>
locals
?: ?=($remove -.dif.det)
(~(del by locals) who.det)
%+ ~(put by locals) who.det
%+ change-status
(fall (~(get by locals) who.det) *status)