Clean more.
authorEmil Mikulic <emikulic@gmail.com>
Mon, 10 Dec 2018 09:36:07 +0000 (20:36 +1100)
committerEmil Mikulic <emikulic@gmail.com>
Mon, 10 Dec 2018 12:34:34 +0000 (23:34 +1100)
commit7d0fc1d9f9cff58bbe3f6966f4b8251678ed0e4b
treea6773d487e934ba36edd1623bb9338736ece5cae
parent38362a411168cca8d94f8185f7332ef438fd8cdc
Clean more.
devel/Makefile