james 2023-10-20 18:13:55 -0700 (Fri, 20 Oct 2023) 85 Add documentation for commands "is shop buy menu empty" and "is shop hire menu empty" --- U wip/docs/plotdict.xml U wip/docs/plotdictionary.html U wip/whatsnew.txt
_______________________________________________ Ohrrpgce mailing list ohrrpgce@lists.motherhamster.org http://lists.motherhamster.org/listinfo.cgi/ohrrpgce-motherhamster.org