diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-07-17 18:08:01 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-07-17 18:08:01 +0200 |
| commit | eb290f3b0459f413bb94e4661b6b0f98ca86e819 (patch) | |
| tree | d772f55400f39ce03bd699a740a37a6a72ab9f7d /doc | |
| parent | 4fde76049ea383f73ff84f1331dba20180ad80e3 (diff) | |
ignore symlink failure
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions