Support % and # in edge names
OpenPublic

Description

%foo should become %/kythe/edge/foo
%/foo should stay %/foo

similarly for #.

zarko created this task.Via WebApr 20 2017, 2:43 PM
zarko claimed this task.
zarko added subscribers: zarko, schroederc.
zarko added a project: Verifier.
Herald added a subscriber: Core Team. · View Herald TranscriptVia HeraldApr 20 2017, 2:43 PM
fromberger triaged this task as "Low" priority.Via WebApr 20 2017, 2:54 PM
fromberger added a subscriber: fromberger.

Add Comment