mirror of
git://xwords.git.sourceforge.net/gitroot/xwords/xwords
synced 2024-12-27 09:58:45 +01:00
Merge remote branch 'origin/android_branch' into android_branch
This commit is contained in:
commit
88b0535866
3 changed files with 3 additions and 0 deletions
|
@ -6,6 +6,7 @@ LIMIT=10000
|
|||
|
||||
usage() {
|
||||
echo "usage: $0 [--limit <n>]"
|
||||
exit 1
|
||||
}
|
||||
|
||||
while [ $# -gt 0 ]; do
|
||||
|
|
|
@ -6,6 +6,7 @@ CONNNAME=""
|
|||
|
||||
usage() {
|
||||
echo "usage: $0 [--connname <s>]"
|
||||
exit 1
|
||||
}
|
||||
|
||||
while [ $# -gt 0 ]; do
|
||||
|
|
|
@ -6,6 +6,7 @@ LIMIT=10000
|
|||
|
||||
usage() {
|
||||
echo "usage: $0 [--limit <n>]"
|
||||
exit 1
|
||||
}
|
||||
|
||||
while [ $# -gt 0 ]; do
|
||||
|
|
Loading…
Reference in a new issue