July 4, 2011
7:20 p.m.
On Jul 4, 2011, at 9:14 PM, Lukas Renggli wrote:
Could SUnit-Help be put into a separate package? It makes it impossible to unload the help infrastructure without also unloading SUnit.
Yes, that should be no problem to fix. -- Marcus Denker -- http://www.marcusdenker.de INRIA Lille -- Nord Europe. Team RMoD.