Nicolas Grekas 079e501ac8 Revert "Merge pull request #9273 from nicolas-grekas/dev-version" ... This reverts commit d2d606ced2, reversing changes made to 4a8dbcd145.		2021-01-27 14:03:44 +01:00
..
artifacts	Remove weird binary file from repo	2018-10-31 18:29:32 +01:00
path	Revert "Merge pull request #9273 from nicolas-grekas/dev-version"	2021-01-27 14:03:44 +01:00