diff options
| author | Juan A. Suarez Romero <[email protected]> | 2017-06-30 11:23:57 +0000 |
|---|---|---|
| committer | Juan A. Suarez Romero <[email protected]> | 2017-06-30 16:15:54 +0200 |
| commit | 5355107034908b6d0430f25f0537b06f92fdd320 (patch) | |
| tree | 6d5385ef38d5ca1ece2b9cc396d751235c5b8734 /bin/get-extra-pick-list.sh | |
| parent | 7fd08177a631a6d4223d79d71a299d61870f9485 (diff) | |
automake: include git_sha1_gen.sh into EXTRA_DIST
Reviewed-by: Emil Velikov <[email protected]>
Diffstat (limited to 'bin/get-extra-pick-list.sh')
0 files changed, 0 insertions, 0 deletions