equal
deleted
inserted
replaced
34 ms_print.* |
34 ms_print.* |
35 massif.* |
35 massif.* |
36 \.patch$ |
36 \.patch$ |
37 \.diff$ |
37 \.diff$ |
38 \.tr$ |
38 \.tr$ |
|
39 \.txt$ |
|
40 \.sh$ |
|
41 \.dat$ |
|
42 \.plt$ |
39 \#[^\#/]+\#$ |
43 \#[^\#/]+\#$ |
40 ^coverity |
44 ^coverity |
41 syntax: glob |
45 syntax: glob |
42 TAGS |
46 TAGS |