From 0feff6b9f5ee603ee2370484d934cdde0639ab56 Mon Sep 17 00:00:00 2001 From: "o.pinke" Date: Tue, 1 Sep 2020 13:01:23 +0200 Subject: [PATCH] git admin; phpdoc --- .gitignore | 4 +++- phpdoc.dist.xml => phpdoc.xml | 8 +++++--- 2 files changed, 8 insertions(+), 4 deletions(-) rename phpdoc.dist.xml => phpdoc.xml (60%) diff --git a/.gitignore b/.gitignore index bea1da7..7694a2b 100644 --- a/.gitignore +++ b/.gitignore @@ -4,4 +4,6 @@ /conlite/plugins/pluginmanager/_src/ /.project /_api/ -/cl-releasetool/ \ No newline at end of file +/cl-releasetool/ +/data/cache/edit_area_full_with_plugins.gz +/data/cache/edit_area_full_with_plugins.js \ No newline at end of file diff --git a/phpdoc.dist.xml b/phpdoc.xml similarity index 60% rename from phpdoc.dist.xml rename to phpdoc.xml index 5935fdb..4a4f8a9 100644 --- a/phpdoc.dist.xml +++ b/phpdoc.xml @@ -1,6 +1,6 @@ - API-Doc ConLite 2.1.1 + API ConLite 2.1.1 _api @@ -10,8 +10,10 @@ conlib conlite + plugins/* + external/* -