diff options
| author | Pierre-Marie Pédrot | 2018-11-20 17:32:33 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-04-02 10:41:19 +0200 |
| commit | b486989809d39f04100b03edd6f2a757a19a08db (patch) | |
| tree | bc5645f0176ae59973242011db0e442293d7be6c /engine | |
| parent | f8d52518f2e10d812a83ce445147f9e672c05953 (diff) | |
Abstract away the name generation algorithm in Detyping.
For now it does not change anything, but it will make the move towards a
faster algorithm seamless.
Diffstat (limited to 'engine')
0 files changed, 0 insertions, 0 deletions