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:39:11 +0200 |
commit | 088b3161c93e46ec2d865fe71a206cee15acd30c (patch) | |
tree | b3e37912ee49534c0f4a47e79399cbbefc93d18a /.gitignore | |
parent | 830934afe66f1e6e9314a77a350c3df6c20e4584 (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