summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authornsensfel <SpamShield0@noot-noot.org>2018-05-31 16:52:12 +0200
committernsensfel <SpamShield0@noot-noot.org>2018-05-31 16:52:12 +0200
commit9f784e5c285cdd2631b52a4299eeb193593e6c21 (patch)
treec87e912bf03d2c4eb907cd91bca11c0297d865a7 /property/CNE_01400.pro
parente520f8b10fbb7b39c563bf626c8d7945a0b424c0 (diff)
Adds Tabellion's old properties.
Diffstat (limited to 'property/CNE_01400.pro')
-rw-r--r--property/CNE_01400.pro8
1 files changed, 8 insertions, 0 deletions
diff --git a/property/CNE_01400.pro b/property/CNE_01400.pro
new file mode 100644
index 0000000..715f7d2
--- /dev/null
+++ b/property/CNE_01400.pro
@@ -0,0 +1,8 @@
+(seek
+ (
+ (gc generic)
+ )
+ (not
+ (string_matches [identifier gc] "^g_.*")
+ )
+)