-
Committer:
Robert Collins
-
Date:
2011-07-13 06:17:19 UTC
-
mto:
This revision was merged to the branch mainline in
revision
13413.
-
Revision ID:
robertc@robertcollins.net-20110713061719-s0462uevyzf55v7h
Use batchnav 1.2.5 instead, which lets us set a single prefix rather than having to adjust each variable separately.