Remove file that is no longer needed
commit5feb32e9e29cf84b7ea7cd5b04e28a18b0c09375
authorVojtech Horky <vojtech.horky@gmail.com>
Tue, 3 Dec 2013 12:37:25 +0000 (3 13:37 +0100)
committerVojtech Horky <vojtech.horky@gmail.com>
Tue, 3 Dec 2013 12:37:25 +0000 (3 13:37 +0100)
tree680c96ebc82f7213ac1a5dd031e213905d13a05c
parentf92a9b42df4d51058bdba394f6f4a0a450402c12
Remove file that is no longer needed
libisl/hacks_to_compile_libisl.patch [deleted file]