# HG changeset patch
# User Jordi Gutiérrez Hermoso <jordigh@octave.org>
# Date 1351199065 14400
# Node ID ba5956503707d28c1362bcbbb264025a1164511f
# Parent  77795b0ed2638f5851b1e5b47ee816929b465137
Close bad file rename