Skip to content

Release 4.2

Compare
Choose a tag to compare
@pietvo pietvo released this 19 Nov 21:44

Reset catcodes to their default values in header/footer construction.
This solves issue #8