diff Makefile @ 25412:443d4635e630

phases: add `hg help phases` hint to failures to edit public commits There were a couple of locations that were missing this hint after an edition of some kind failed due to the public phase.
author Jordi Gutiérrez Hermoso <jordigh@octave.org>
date Mon, 01 Jun 2015 14:16:52 -0400
parents 4c4d0012db4f
children 3375ae1e7d0b
line wrap: on
line diff