Reuse the makefiles

Authored by mollekopf on Thu, Dec 27, 11:02 PM.

Description

Reuse the makefiles

Details

Committed
mollekopfThu, Dec 27, 11:02 PM
Pushed
mollekopfThu, Dec 27, 11:04 PM
Parents
rFKUBE9d2e412e3f87: Switch everything over to the new 18.08 runtime
Branches
Unknown
Tags
Unknown
References
HEAD, master