commit | 5233a14568e259a190c7cbee8a1d088f0cc06ea3 | [log] [tgz] |
---|---|---|
author | Geertjan Wielenga <geertjan.wielenga@oracle.com> | Sat Aug 24 09:39:57 2019 +0200 |
committer | GitHub <noreply@github.com> | Sat Aug 24 09:39:57 2019 +0200 |
tree | eeaf8d77bbcf4b73729ef53bee5bcb43145cfe88 | |
parent | e1ad94093079a0fdc32d3bbb6f36b30af989b3ca [diff] | |
parent | ff1dc4048f5b726d5d2925b242574f48493f62be [diff] |
Merge pull request #411 from apache/geertjanw-patch-16 Tweaking demos.xml file to comment out unused entries