diff options
author | Davide Beatrici <davidebeatrici@gmail.com> | 2018-03-12 02:31:03 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-03-12 02:31:03 +0300 |
commit | b230c2852b3b913b89c12033eb0cf23d138a1ac9 (patch) | |
tree | eb3216cc7dcdeececae62769353f244c92c27d11 /plugins | |
parent | e3e32633c7448172ba863cc75f1f97ead613ceaa (diff) | |
parent | 481299a2bbde01adce69a17c1cc88a8311462c3f (diff) |
Merge PR #3364: Correct case of AGL/agl.h to allow compilation on case-sensitive filesystem
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions