summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'data/property/unread_waveforms.pro')
-rw-r--r--data/property/unread_waveforms.pro10
1 files changed, 0 insertions, 10 deletions
diff --git a/data/property/unread_waveforms.pro b/data/property/unread_waveforms.pro
deleted file mode 100644
index b53862b..0000000
--- a/data/property/unread_waveforms.pro
+++ /dev/null
@@ -1,10 +0,0 @@
-(tag_existing
- (
- (wf waveform UNREAD_WAVEFORM)
- )
- (not
- (exists ps process
- (is_accessed_by wf ps)
- )
- )
-)