Streamline markup_push()/markup_pop() to call factory earlier and avoid copying
authorNick Downing <nick@ndcode.org>
Mon, 21 Jan 2019 00:08:23 +0000 (11:08 +1100)
committerNick Downing <nick@ndcode.org>
Mon, 21 Jan 2019 00:08:23 +0000 (11:08 +1100)
commit71dbffbabaff223249e9bccd176070d016fc62e4
tree6a72eaa87d24ea6fef97f976a10c27dc847a5056
parenta842041e8dbe0d3189a244169bbbae75f0c7aa77
Streamline markup_push()/markup_pop() to call factory earlier and avoid copying
scan.l