[
https://issues.apache.org/jira/browse/CLEREZZA-903?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Enrico Daga updated CLEREZZA-903:
---------------------------------
Summary: Remove unused config.properties file from
platform.launcher.virtuoso (was: Remove unused config.properties file from
rdf.virtuoso.storage)
> Remove unused config.properties file from platform.launcher.virtuoso
> --------------------------------------------------------------------
>
> Key: CLEREZZA-903
> URL: https://issues.apache.org/jira/browse/CLEREZZA-903
> Project: Clerezza
> Issue Type: Bug
> Reporter: Enrico Daga
> Assignee: Enrico Daga
> Priority: Trivial
>
> It was added by mistake.
--
This message was sent by Atlassian JIRA
(v6.2#6252)
