chiark / gitweb /
algorithms.py: Cope better with algs with funny characters in their names.
authorMark Wooding <mdw@distorted.org.uk>
Thu, 11 May 2017 09:42:15 +0000 (10:42 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sun, 14 May 2017 03:29:20 +0000 (04:29 +0100)
Defend against `/' in names when making include-file names, and defend
against `/' and `-' when forming identifier names.


No differences found