Commit e7f464de authored by Thanassis Tsiodras's avatar Thanassis Tsiodras

Harmonizing the two Makefiles - going for merging

parent 0a82f9e7
Pipeline #72 skipped