SPECS: coq.spec (NEW)

Witold Krecicki adasi at grubno.da.ru
Tue Oct 14 21:41:19 CEST 2003


Dnia wto 14. października 2003 21:36, Andrzej Krzysztofowicz napisał:
> baggins wrote:
> > --- NEW FILE: coq.spec ---
> > # $Revision: 1.1 $, $Date: 2003/10/14 17:56:30 $
> > # This file has been generated from RH/coq.spec.tpl
> > # Do not edit
>
>    ^^^^^^^^^^^^^
> Naprawde ? To po co on nam w CVSie ? :-)
>
> PS. PPNMSP
moze R/O go zrob serverside ? :)
-- 
Witold Kręcicki (adasi) adasi [at] culm.net
GPG key: 7AE20871
http://www.culm.net



More information about the pld-devel-pl mailing list