Merge: lib/opts: accept non-conflicting parameters for OptionString and rename get_er...
[nit.git] / lib / perfect_hashing.ini
2015-08-30 Jean Privatcontrib&lib: introduce .ini for projects maintained...