Dirs files naming convention fix#362

Closed

ngiachou wants to merge 7 commits intoTheAlgorithms:masterfrom

ngiachou:dirs-files-naming-convention-fix

Commits on Sep 30, 2018

top level fix
Nikos Giachoudis
committed
second level dirs fix
Nikos Giachoudis
committed
final source file naming fix
Nikos Giachoudis
committed
change dashes to underscores
Nikos Giachoudis
committed

Commits on Oct 2, 2018

trying to solve some strange uppercase bug
Nikos Giachoudis
committed
still trying to solve the uppercase bug
Nikos Giachoudis
committed
renaming to correct names
Nikos Giachoudis
committed