Hi Alex,

On Tue, Oct 5, 2010 at 3:10 PM, Alexander Burger <a...@software-lab.de> 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:picol...@software-lab.de?subject=unsubscribe

Reply via email to