Update extra/delegate; removing section protocol since it makes little sense
parent
48a6baedcd
commit
6b626f108c
|
@ -23,10 +23,3 @@ PROTOCOL: stream-protocol
|
|||
PROTOCOL: definition-protocol
|
||||
where set-where forget uses redefined*
|
||||
synopsis* definer definition ;
|
||||
|
||||
PROTOCOL: prettyprint-section-protocol
|
||||
section-fits? indent-section? unindent-first-line?
|
||||
newline-after? short-section? short-section long-section
|
||||
<section> delegate>block add-section ;
|
||||
|
||||
|
||||
|
|
Loading…
Reference in New Issue