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