Changes to gnats/gnats/delete-pr.sh

[Yngve Svendsen]

Index: gnats/gnats/delete-pr.sh
diff -c gnats/gnats/delete-pr.sh:1.6 gnats/gnats/delete-pr.sh:1.7
*** gnats/gnats/delete-pr.sh:1.6        Fri Jan 14 02:32:46 2000
--- gnats/gnats/delete-pr.sh    Sat Nov  9 05:08:46 2002
***************
*** 9,15 ****
  closed=
  closed_state=
  
! usage="Usage: $0 [-fhV] [--version] [--help] PR |-c|--closed"
  version=xVERSIONx
  
  # parse command line.
--- 9,15 ----
  closed=
  closed_state=
  
! usage="Usage: $0 [-fhV] [--version] [--help] [ -c | --closed | PR ]"
  version=xVERSIONx
  
  # parse command line.