| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'data/property/cnes/CNE_01200.pro')
| -rw-r--r-- | data/property/cnes/CNE_01200.pro | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/data/property/cnes/CNE_01200.pro b/data/property/cnes/CNE_01200.pro deleted file mode 100644 index 6649103..0000000 --- a/data/property/cnes/CNE_01200.pro +++ /dev/null @@ -1,9 +0,0 @@ -(tag_existing - ( - (ps process CNE_01200_BAD_NAME) - ) - (implies - (is_explicit_process ps) - (string_matches [label ps] "P_.*") - ) -) |