Florian Thomas 7ef3260327 return correct file in dir if dir has same name as file (#6569) ... Merge pull request 6569		2017-12-07 19:55:12 +01:00
..
bar	return correct file in dir if dir has same name as file (#6569)	2017-12-07 19:55:12 +01:00
bar.html	return correct file in dir if dir has same name as file (#6569)	2017-12-07 19:55:12 +01:00