diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-08-24 19:27:44 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-24 19:27:44 +0200 |
| commit | a518ed105c8a734831fb60474202e10ba47d68e2 (patch) | |
| tree | 5f0f7d072e6dd28b82c844cd7a75fbc61ad33cd2 /core | |
| parent | d73e88215a53f78c36cb68b460214466ec6dce0a (diff) | |
| parent | aa91640c7e74fec578ce1e938042ec5a7ea15d8f (diff) | |
Merge pull request #10610 from hpvb/ignore-gprof-files
Ignore gprof output files
[ci skip]
Diffstat (limited to 'core')
0 files changed, 0 insertions, 0 deletions