diff options
| author |  Guillaume GARDET <guillaume.gardet@free.fr> | 2017-10-20 16:12:38 +0200 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2017-10-20 14:25:09 -0400 |
| commit | 0671739e02b86eb689f206b475ba57a62703ee2e (patch) | |
| tree | c69cc9c3a7c38898773c8f2f1dad19d72f550b19 /Documentation/user-manual_es.txt | |
| parent | cd555f9dace9a1046819d6711e2e6dd0d87b6a70 (diff) | |
| download | subsurface-0671739e02b86eb689f206b475ba57a62703ee2e.tar.gz | |
Make use of 'coredumpctl dump' in Subsurface.debug helper
Diffstat (limited to 'Documentation/user-manual_es.txt')
0 files changed, 0 insertions, 0 deletions