Merge pull request #2782 from ledvinap/add-def_generated-script
commitb2b4699b00c29a0f482692183698f77594ae4bab
authorDominic Clifton <me@dominicclifton.name>
Mon, 8 May 2017 17:58:08 +0000 (8 18:58 +0100)
committermikeller <github@ike.ch>
Sat, 13 May 2017 06:39:46 +0000 (13 18:39 +1200)
tree706d68f79283cf3081b23250e4b6d10c06ec7185
parentfaf1c2f11213612b19f7fd7c9e7502484e8e62d9
Merge pull request #2782 from ledvinap/add-def_generated-script

Resurrect src/utils/def_generated.pl
src/utils/def_generated.pl [new file with mode: 0644]