diff options
-rw-r--r-- | polly/www/get_started.html | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/polly/www/get_started.html b/polly/www/get_started.html index 0439ff8c9a5..7a17e4df7cd 100644 --- a/polly/www/get_started.html +++ b/polly/www/get_started.html @@ -66,7 +66,6 @@ git clone http://llvm.org/git/clang.git ${CLANG_SRC} <ul> <li>libgmp</li> <li>CLooG/isl</li> -<li>PoCC (optional)</li> </ul> <h4> libgmp </h4> |