Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Register
Sign in
Toggle navigation
Menu
Kirill Smelkov
mariadb
Repository
mariadb
scripts
make_binary_distribution.sh
Find file
Blame
History
Permalink
scripts/make_binary_distribution.sh
· 06a7d7be
joerg@trift2.
authored
Dec 28, 2007
After-merge fix for bug#33536: The target to copy to is now called "$DEST".
06a7d7be