| commit | ff1dc4048f5b726d5d2925b242574f48493f62be | [log] [tgz] |
|---|---|---|
| author | Geertjan Wielenga <geertjan.wielenga@oracle.com> | Sat Aug 24 09:39:43 2019 +0200 |
| committer | GitHub <noreply@github.com> | Sat Aug 24 09:39:43 2019 +0200 |
| tree | eeaf8d77bbcf4b73729ef53bee5bcb43145cfe88 | |
| parent | e1ad94093079a0fdc32d3bbb6f36b30af989b3ca [diff] |
Tweaking demos.xml file to comment out unused entries