Jocelyn Fiat fbd9cb9588 Added `HTML_ENCODER.general_encoded_string (s: READABLE_STRING_GENERAL): STRING_8' ...

(note: probably we should do similar change for all the encoders)

2012-09-10 09:36:27 +02:00

..

encoder

Added `HTML_ENCODER.general_encoded_string (s: READABLE_STRING_GENERAL): STRING_8'

2012-09-10 09:36:27 +02:00

parser/uri_template

Also convert from STRING_8 to URI_TEMPLATE (not only from READABLE_STRING_8)

2012-08-31 07:03:15 +02:00