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 /BUILD/compile-dist | |
| 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 'BUILD/compile-dist')
0 files changed, 0 insertions, 0 deletions