diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-06-25 11:08:36 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-06-25 11:08:36 +0200 |
| commit | 87fd71244be7b185f0525c6b33850f7075b1425a (patch) | |
| tree | ff58ebdfd8cfed4d960036336c607a7f95cb8659 /misc/dist | |
| parent | 8efd835009bdb47670a76432fd128f582ef6be38 (diff) | |
| parent | e3998528e021d2722b40bc1bcda809baaa2cce3b (diff) | |
Merge pull request #9334 from Noshyaar/pr-genh
BuildSystem: generated files have .gen.extension
Diffstat (limited to 'misc/dist')
0 files changed, 0 insertions, 0 deletions