PKGLIST

changeset 17
adaddc543e28
parent 13
1e5df935a124
child 20
9b0baa183bd1
--- a/PKGLIST	Sat Dec 27 16:16:55 2014 +0100
+++ b/PKGLIST	Thu Jan 01 13:23:52 2015 +0100
@@ -10,4 +10,5 @@
 APIs/Python3/Python-3.2.api
 APIs/Python3/Python-3.3.api
 APIs/Python3/Python-3.4.api
+Documentation/LICENSE.GPL3
 PluginApis.py

eric ide

mercurial