diff options
| -rw-r--r-- | polly/.gitignore | 1 | ||||
| -rw-r--r-- | polly/lib/External/isl/doc/manual.pdf | bin | 475433 -> 0 bytes |
2 files changed, 1 insertions, 0 deletions
diff --git a/polly/.gitignore b/polly/.gitignore index 97b102a61f6..60b5030a04a 100644 --- a/polly/.gitignore +++ b/polly/.gitignore @@ -1,2 +1,3 @@ test/lit.site.cfg +lib/External/isl/doc/manual.pdf 00* diff --git a/polly/lib/External/isl/doc/manual.pdf b/polly/lib/External/isl/doc/manual.pdf Binary files differdeleted file mode 100644 index b064c4779a9..00000000000 --- a/polly/lib/External/isl/doc/manual.pdf +++ /dev/null |
