diff --git a/docs/OpenProjects.html b/docs/OpenProjects.html index 574f4d34d38..5f648374d1a 100644 --- a/docs/OpenProjects.html +++ b/docs/OpenProjects.html @@ -127,9 +127,6 @@ all the back-ends: CBE, llc, and lli.