Removing old enchilada stuff
authormauronofrio matarrese <poronofrio@gmail.com>
Thu, 29 Nov 2018 08:30:41 +0000 (09:30 +0100)
committermauronofrio <poronofrio@gmail.com>
Thu, 29 Nov 2018 21:16:26 +0000 (22:16 +0100)
commit7cd8c28087d8a905c2c167a5ab7b2667e4224e20
tree557533c884cf9fb631e7e8cfcef0730298c47a7c
parentbc7cd272e938bf73f289096a725be6213cc2f00b
Removing old enchilada stuff
omni_enchilada.mk [deleted file]