[DEECo] [d3scomp/JDEECo] a8a9de: renaming
GitHub
noreply at github.com
Tue Jul 2 13:41:15 CEST 2013
Branch: refs/heads/master
Home: https://github.com/d3scomp/JDEECo
Commit: a8a9dec6f9289cb914d5132373d3f8bdcde087ca
https://github.com/d3scomp/JDEECo/commit/a8a9dec6f9289cb914d5132373d3f8bdcde087ca
Author: pparizek <parizek at d3s.mff.cuni.cz>
Date: 2013-07-02 (Tue, 02 Jul 2013)
Changed paths:
M jdeeco-demo/build.xml
M jdeeco-demo/jpfProperties/LocalLauncherConvoyLTL.jpf
M jdeeco-jpf/src/cz/cuni/mff/d3s/deeco/knowledge/local/LocalKnowledgeRepositoryJPF.java
Log Message:
-----------
renaming
More information about the DEECo
mailing list