Module: ppl/ppl Branch: master Commit: 3ded8bb10d824721a1bb6ed083de18d2350be36f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3ded8bb10d824...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Feb 20 18:57:50 2012 +0100

Spurious line removed.

---

devtools/good_ids | 1 - 1 files changed, 0 insertions(+), 1 deletions(-)

diff --git a/devtools/good_ids b/devtools/good_ids index 5fdc170..c16db34 100644 --- a/devtools/good_ids +++ b/devtools/good_ids @@ -14,7 +14,6 @@ PPL_PACKAGE_BUGREPORT RLIMIT_AS RLIMIT_CPU RUSAGE_SELF -Rule B.PROGVCBL: SA_ONESHOT SA_RESETHAND SCHAR_MAX