| commit | a71957a75d9217510d8112fff63709e6e2c77801 | [log] [tgz] |
|---|---|---|
| author | stevenvanrossem <steven.vanrossem@intec.ugent.be> | Wed Feb 08 12:11:39 2017 +0100 |
| committer | stevenvanrossem <steven.vanrossem@intec.ugent.be> | Wed Feb 08 12:11:39 2017 +0100 |
| tree | aaac20897587021731cc714dc33123beb64b91e3 | |
| parent | 3c544ac8dd2a53b6c18564cd2fc821109e39742b [diff] |
modify Dockerfile to build son-emu