diff options
| author | jvoisin | 2017-10-09 11:54:11 +0200 |
|---|---|---|
| committer | GitHub | 2017-10-09 11:54:11 +0200 |
| commit | 7234fdbb0cb0dd45ed1d6e7814c91e596126ee25 (patch) | |
| tree | 1b29ad0e25f37b55390d309fd0b7f4cd406cbb7a /.gitignore | |
| parent | 50bb0ed72d5c221d40f16690d980db5e7ccee46a (diff) | |
Implement matching on the calltrace (#17)
* Implement matching on the calltrace
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
| @@ -37,3 +37,4 @@ src/Makefile.objects | |||
| 37 | src/missing | 37 | src/missing |
| 38 | src/mkinstalldirs | 38 | src/mkinstalldirs |
| 39 | src/run-tests.php | 39 | src/run-tests.php |
| 40 | doc/build/ | ||