Snippets Groups Projects

Commit 7fe619e6 authored 3 years ago by Hanchuan Wu

[bin] Rename, move and improve make_installscript, which is used to make an install script

parent 3c4dd414

No related branches found

No related tags found

Hide whitespace changes

Inline Side-by-side

Showing with 138 additions and 250 deletions

Timo Koch @timok
mentioned in commit 35a6cba9
· 3 years ago

mentioned in commit 35a6cba9

mentioned in commit 35a6cba9aaaff3f73243f063c0820de475f9d54e

Toggle commit list
Timo Koch @timok
mentioned in merge request !2751 (merged)
· 3 years ago

mentioned in merge request !2751 (merged)

mentioned in merge request !2751

Toggle commit list

Please register or to comment