On Wednesday, 26 October 2016 at 05:46:30 UTC, ketmar wrote:
this is a repository name. it is supposed to be named just "iv", and git names main directory by repository name if you are doing a simple clone. my bad, i should have made that clear.
Ok. That helps.
