Hi Alex, On Tue, Oct 5, 2010 at 3:10 PM, Alexander Burger <[email protected]> wrote: > > The first case were some Pilog extensions from cle, and as there is > already a "lib/pilog.l" and a "misc/pilog.l", we agreed to put such > things into a new directory "opt/".
thank you. cheers, /e -- UNSUBSCRIBE: mailto:[email protected]?subject=unsubscribe
