diff options
author | unknown <joerg@trift2.> | 2007-12-28 16:10:17 +0100 |
---|---|---|
committer | unknown <joerg@trift2.> | 2007-12-28 16:10:17 +0100 |
commit | 68fd74d7644c525bacb41510b1874ba9bc1bce9a (patch) | |
tree | 6f3490c164850553288c2a3a569c314006b0572c /scripts/Makefile.am | |
parent | 642adf40e1d96c9465d9911f42adcb7a63e269f5 (diff) | |
download | mariadb-git-68fd74d7644c525bacb41510b1874ba9bc1bce9a.tar.gz |
scripts/make_binary_distribution.sh
After-merge fix for bug#33536: The target to copy to is now called "$DEST".
scripts/make_binary_distribution.sh:
After-merge fix for bug#33536: The target to copy to is now called "$DEST".
Diffstat (limited to 'scripts/Makefile.am')
0 files changed, 0 insertions, 0 deletions