diff options
| author |  Pierre Letouzey <pierre.letouzey@inria.fr> | 2016-05-19 20:37:23 +0200 |
|---|---|---|
| committer | Pierre Letouzey <pierre.letouzey@inria.fr> | 2016-05-19 20:37:23 +0200 |
| commit | a91d15dcb4c691463f0ad6f0e7277a52464d897c (patch) | |
| tree | 6600081af2dc1326b8363e1fd5decda75bd22566 /.gitignore | |
| parent | d90b3c54ea8d26bf6fc48041cb1ca6cba5ba4c19 (diff) | |
native_compute: don't call Unicode.ascii_of_ident twice (not idempotent anymore)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions