mirror of
https://github.com/urbit/shrub.git
synced 2024-12-20 01:01:37 +03:00
king: add crud event to jael
This commit is contained in:
parent
8ad9d022a1
commit
0142fce219
@ -274,6 +274,7 @@ deriveNoun ''BoatEv
|
||||
|
||||
data JaelEv
|
||||
= JaelEvRekey () (Life, Ring)
|
||||
| JaelEvCrud Path Noun
|
||||
deriving (Eq, Show)
|
||||
|
||||
deriveNoun ''JaelEv
|
||||
|
Loading…
Reference in New Issue
Block a user