> ... in my
> opinion a better name for this library would be libbuddy .... As a first
> step, would you
> consider renaming the library object itself as libbuddy and to leave the
> package as it is until I finish to package libcudd (plus a sym link to
> for backward compatibility) ? What you think ?
Fine with me, but I am a bit busy so not sure it will be this weekend.
Cheers,
--
Jens Peter Secher.
_DD6A 05B0 174E BFB2 D4D9 B52E 0EE5 978A FE63 E8A1 jpsecher gmail com_.
A. Because it breaks the logical sequence of discussion.
Q. Why is top posting bad?
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
