Merge: Use `UInt32` to manipulate Unicode chars and support 32 bits platforms
[nit.git] / benchmarks / polygons /
drwxr-xr-x   ..
-rw-r--r-- 184 .gitignore
-rw-r--r-- 76 Makefile
drwxr-xr-x - java
drwxr-xr-x - nit