diff options
author | Eike Stepper | 2012-06-11 15:54:44 +0000 |
---|---|---|
committer | Eike Stepper | 2012-06-11 15:54:44 +0000 |
commit | 5b08149521f82f5e950034916216fb5b28286517 (patch) | |
tree | ff73631c13ab9bee0942ac0031318124f40c0e6a /plugins/org.gastro.server | |
parent | 2ea14571650e4264a584e21cd7708206daeba252 (diff) | |
download | cdo-5b08149521f82f5e950034916216fb5b28286517.tar.gz cdo-5b08149521f82f5e950034916216fb5b28286517.tar.xz cdo-5b08149521f82f5e950034916216fb5b28286517.zip |
Javadocs
Diffstat (limited to 'plugins/org.gastro.server')
-rw-r--r-- | plugins/org.gastro.server/build.properties | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/plugins/org.gastro.server/build.properties b/plugins/org.gastro.server/build.properties index a026d244ef..672852bc97 100644 --- a/plugins/org.gastro.server/build.properties +++ b/plugins/org.gastro.server/build.properties @@ -14,9 +14,9 @@ bin.includes = META-INF/,\ plugin.xml,\ copyright.txt,\ GastroServer.launch,\ - README.txt,\ + README.html,\ about.html -src.includes = README.txt,\ +src.includes = README.html,\ about.html,\ copyright.txt |