Skip to content
This repository was archived by the owner on Sep 1, 2020. It is now read-only.

Allow primes at the end of identifiers.#29

Merged
non merged 1 commit intotypelevel:2.11.xfrom
milessabin:feature/prime-identifiers
Sep 6, 2014

Commits

Commits on Sep 6, 2014