Skip to content
Snippets Groups Projects
Commit 312aeda3 authored by Ondřej Zajíček's avatar Ondřej Zajíček
Browse files

Tools: Improve make-dev-archive 

Use git-archive to avoid unrelated and temporary files and fix some
minor issues (e.g. dependency on bash as system shell).
parent 280d133a
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 8 additions and 14 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment