diff options
| author | krasimir <krasimir@chalmers.se> | 2015-07-01 09:51:01 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2015-07-01 09:51:01 +0000 |
| commit | 7daf119cbcc2f0e3d266d2e48e6942d9161c55ef (patch) | |
| tree | 65b6e557a1efefed11936d4b592b6abc9c39cd22 /src/runtime/java/INSTALL | |
| parent | 34ef01f613339c858fedafdc555df3aacf1ac83d (diff) | |
forgot to add the DBManager
Diffstat (limited to 'src/runtime/java/INSTALL')
0 files changed, 0 insertions, 0 deletions