src/Pure/General/mercurial.scala
changeset 75493 f775dfb55655
parent 75491 47d790984e82
child 75499 c635368021b6
equal deleted inserted replaced
75492:c03c2bf4ef8a 75493:f775dfb55655
   500     -C           clean all unknown/ignored files on target
   500     -C           clean all unknown/ignored files on target
   501                  (implies -n for testing; use option -f to confirm)
   501                  (implies -n for testing; use option -f to confirm)
   502     -F RULE      add rsync filter RULE (e.g. "protect /foo" to avoid deletion)
   502     -F RULE      add rsync filter RULE (e.g. "protect /foo" to avoid deletion)
   503     -R ROOT      explicit repository root directory
   503     -R ROOT      explicit repository root directory
   504                  (default: implicit from current directory)
   504                  (default: implicit from current directory)
   505     -T           thorough check of file content (default: time and size)
   505     -T           thorough treatment of file content and directory times
   506     -f           force changes: no dry-run
   506     -f           force changes: no dry-run
   507     -n           no changes: dry-run
   507     -n           no changes: dry-run
   508     -r REV       explicit revision (default: state of working directory)
   508     -r REV       explicit revision (default: state of working directory)
   509     -v           verbose
   509     -v           verbose
   510 
   510