2 Commits (d72dab858ea138f2a1d6520c8ce11258a9b50f9e)

Author SHA1 Message Date
Alessandro Ros f5fd89d3b4
change name of configuration file (#1640) 3 years ago
aler9 02d3dd92e6 split makefile into multiple scripts 4 years ago