mirror of
https://github.com/urbit/shrub.git
synced 2024-12-01 22:55:03 +03:00
Check in some imperial keyprints.
This commit is contained in:
parent
d5adcd91b1
commit
e9bae7ceb1
@ -761,7 +761,7 @@
|
||||
*/
|
||||
void
|
||||
u2_term_ef_ctlc(void);
|
||||
|
||||
|
||||
/* u2_term_ef_bake(): initial effects for new server.
|
||||
*/
|
||||
void
|
||||
|
Loading…
Reference in New Issue
Block a user