commit | a9cc42c781eddb1972eecfb4c38abb782150e96f | [log] [tgz] |
---|---|---|
author | Eclipse Ditto Bot <ditto-bot@eclipse.org> | Wed Oct 30 04:08:40 2019 -0400 |
committer | Eclipse Ditto Bot <ditto-bot@eclipse.org> | Wed Oct 30 04:08:40 2019 -0400 |
tree | 08afe21e5227ea1c85ff79da53ac9061a4a14810 | |
parent | 251da5a2b0c217f18f2f5dfee6a168d9afa53395 [diff] |
updated project site -- ditto site version: 0-SNAPSHOT, build no: 85 -- minor documentation fixes