chiark / gitweb /
jpctb: Fix mistaken use of ${jppjava#..} when we meant %