diff options
| author | Pierre Boutillier | 2014-12-12 18:01:16 +0100 |
|---|---|---|
| committer | Pierre Boutillier | 2014-12-12 18:02:30 +0100 |
| commit | 607503b28fca50f4b76b2237d5ca13802b8252fa (patch) | |
| tree | 2d4cd9d4ddee1fade35728949daa8b67ca0da89e /plugins/syntax/string_syntax.ml | |
| parent | a8169a718ca48070d4d5bce71fd302ff6148b8f0 (diff) | |
#4843 part 2 : The .cmxs files for plug-ins must have execute permission
Diffstat (limited to 'plugins/syntax/string_syntax.ml')
0 files changed, 0 insertions, 0 deletions