Revision: tlacontrib--devo--1.2--patch-18 Archive: jblack@inframix.com--2004 Creator: James Blackwell Date: Thu Feb 5 23:52:24 EST 2004 Standard-date: 2004-02-06 04:52:24 GMT Modified-files: bash-complete/gen-tla-commands New-patches: jblack@inframix.com--2004/tlacontrib--devo--1.2--patch-18 mt@wmipf.in-berlin.de--2004/tlacontrib--wmipf--1.2--base-0 mt@wmipf.in-berlin.de--2004/tlacontrib--wmipf--1.2--patch-1 Summary: deal with multiple help commands with gen-tla-commands (Teichgr?ber) Keywords: deal with multiple help commands with gen-tla-commands (Teichgr?ber) Patches applied: * mt@wmipf.in-berlin.de--2004/tlacontrib--wmipf--1.2--base-0 tag of jblack@inframix.com--2004/tlacontrib--devo--1.2--patch-17 * mt@wmipf.in-berlin.de--2004/tlacontrib--wmipf--1.2--patch-1 gen-tla-commands: cope with commands occuring more than once in `tla help'