diff options
| author | unknown <serg@serg.mysql.com> | 2002-11-11 20:16:45 +0100 |
|---|---|---|
| committer | unknown <serg@serg.mysql.com> | 2002-11-11 20:16:45 +0100 |
| commit | fd91015a78fb9dbf0414b2ee32347e7454f0ffbc (patch) | |
| tree | 0104d72a1a44fc4eb561e57d3201875598b9d123 /bdb/dist/RELEASE | |
| parent | ca3dbc7104220e35fc084432f2d4481b19a9bf8a (diff) | |
| download | mariadb-git-fd91015a78fb9dbf0414b2ee32347e7454f0ffbc.tar.gz | |
removed double-ignored files (bk citool bug ?)
bdb/dist/RELEASE:
comment added
Diffstat (limited to 'bdb/dist/RELEASE')
| -rw-r--r-- | bdb/dist/RELEASE | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/bdb/dist/RELEASE b/bdb/dist/RELEASE index 9054f122cb4..20b648efa04 100644 --- a/bdb/dist/RELEASE +++ b/bdb/dist/RELEASE @@ -18,3 +18,11 @@ chmod() { #echo "chmod $1 $2" } + +# useful trick to find auto-generated files +#cmp() +#{ +# echo "==>> CMP $1 $2" >/dev/tty +# /usr/bin/cmp "$1" "$2" +#} + |