SPECS: coq.spec - added TODO

[baggins]

Author: baggins                      Date: Mon Feb 16 13:29:22 2009 GMT
Module: SPECS                         Tag: HEAD
---- Log message:
- added TODO

---- Files affected:
SPECS:
   coq.spec (1.12 -> 1.13) 

---- Diffs:

================================================================
Index: SPECS/coq.spec
diff -u SPECS/coq.spec:1.12 SPECS/coq.spec:1.13
--- SPECS/coq.spec:1.12	Mon Feb 16 14:19:46 2009
+++ SPECS/coq.spec	Mon Feb 16 14:29:16 2009
@@ -1,4 +1,8 @@
 # $Revision$, $Date$
+#
+# TODO:
+#	- desktop file for coqide
+#
 Summary:	The Coq Proof Assistant
 Summary(pl.UTF-8):	Coq - narzędzie pomagające w udowadnianiu
 Name:		coq
@@ -109,6 +113,9 @@
 All persons listed below can be reached at <cvs_login>@pld-linux.org
 
 $Log$
+Revision 1.13  2009/02/16 13:29:16  baggins
+- added TODO
+
 Revision 1.12  2009/02/16 13:19:46  baggins
 - 8.1pl4
 
================================================================

---- CVS-web:
    http://cvs.pld-linux.org/cgi-bin/cvsweb.cgi/SPECS/coq.spec?r1=1.12&r2=1.13&f=u