Re: pbbuttonsd 0.5.9 unofficial package
On 2004-03-23 17:45:09 +0100, Soeren Sonnenburg wrote:
> Could you please make it Conflict with pmud, as it _fully_ replaces
> pmud ?
Please don't! This is *not* true, as pbbuttonsd has important bugs.
So, pmud is still useful.
--
Vincent Lefèvre <vincent@vinc17.org> - Web: <http://www.vinc17.org/> - 100%
validated (X)HTML - Acorn Risc PC, Yellow Pig 17, Championnat International
des Jeux Mathématiques et Logiques, TETRHEX, etc.
Work: CR INRIA - computer arithmetic / SPACES project at LORIA
Reply to: