| Wed, 26 Oct 2016 16:15:37 +0200 | wenzelm | more informative error (see 6e9c22c494c5); | changeset | files |
| Wed, 26 Oct 2016 16:05:41 +0200 | wenzelm | tuned signature -- more friendly for experimentation; | changeset | files |
| Wed, 26 Oct 2016 16:04:05 +0200 | wenzelm | clarified hg push return code: 1 means "nothing to push"; | changeset | files |