mirror of
https://github.com/ilyakooo0/urbit.git
synced 2024-12-16 19:22:22 +03:00
Started allowing capitals in web.plan usernames.
This commit is contained in:
parent
54dc463a95
commit
b3eeaff83b
@ -40,7 +40,8 @@
|
||||
(malt (turn t.t.a |=(b/cord (rash b account))))
|
||||
::
|
||||
++ user ;~(pfix (jest 'User ') (cook crip (star prn)))
|
||||
++ knot (sear (flit |=(a/^knot !=('' a))) urs:ab)
|
||||
++ knot %+ cook crip
|
||||
(plus ;~(pose nud low hig hep dot sig cab))
|
||||
++ location ;~(pfix (jest 'Location ') (cook crip (star prn)))
|
||||
++ account
|
||||
;~ plug
|
||||
|
Loading…
Reference in New Issue
Block a user