chiark / gitweb /
frontend: Track rename of `help-opts'.
authorMark Wooding <mdw@distorted.org.uk>
Mon, 24 Apr 2006 14:42:16 +0000 (15:42 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Mon, 24 Apr 2006 14:42:16 +0000 (15:42 +0100)
commit884a01ff3eae91385764b981c89bad763a9e9ef1
treef24e027d27a77bf39f5b056b6d83d3f99a84cd91
parent2f1d381d7cf464f2ce50d6754a538d9e0fc89876
frontend: Track rename of `help-opts'.
frontend.lisp