Merge pull request #416 from Fang-/plancaps

Allow capitals in web.plan usernames.
This commit is contained in:
Galen Wolfe-Pauly 2017-08-13 09:42:18 -07:00 committed by GitHub
commit ceb3589f8e

View File

@ -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