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)
commita7f2e3893166d7ce7e9d63437d6eebcad5e9c55c
tree804e6e8e685315506554bd22d3704b4b283aedd1
parent348254521f404f683d0230a84ae4943c9d20e51c
algorithms.py: Cope better with algs with funny characters in their names.

Defend against `/' in names when making include-file names, and defend
against `/' and `-' when forming identifier names.
algorithms.py