diff options
| author | Marcelo Fernandez <marcelofg55@gmail.com> | 2018-11-05 21:34:36 -0300 |
|---|---|---|
| committer | Marcelo Fernandez <marcelofg55@gmail.com> | 2018-11-07 12:39:15 -0300 |
| commit | 34e2d2f4f7224ac24dec5f0461d80cb9dfddb827 (patch) | |
| tree | 8b7605068264edf1be532bd1339559be87ed0237 /editor/doc | |
| parent | 3cf3c4137a4e6a5e25d7950ff727ec2157e40a37 (diff) | |
Fix binaries incorrectly detected as shared libraries on some linux distros
Diffstat (limited to 'editor/doc')
0 files changed, 0 insertions, 0 deletions