2017PharoDays.md and 2017pharodays.md in repo - Githubissues

pharo-project / pharo-website

Other

7 stars 13 forks source link

2017PharoDays.md and 2017pharodays.md in repo #50

Closed MarcusDenker closed 1 year ago

MarcusDenker commented 1 year ago

There is both

'site/2017PharoDays.md' 'site/2017pharodays.md'

if you have a case-insensitive filesystem, this is a problem