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