commit | e0ab13c62f2c1af0af955f173beb3ea6473e8064 | [log] [tgz] |
---|---|---|
author | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | Tue Dec 17 14:24:30 2019 -0300 |
committer | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | Tue Dec 17 14:24:30 2019 -0300 |
tree | 5de81039dfdbaff96094478781c41a9010f121f8 | |
parent | e0cbaa50fa7e97a8b7404041a59caac47b3949a5 [diff] |
Easy way to allow Unicode characters in identifiers For those that want to try it...