| commit | a795ecd9acc7328b998b0cb2a53753860e8e928d | [log] [tgz] |
|---|---|---|
| author | Eric Bruneton <ebruneton@free.fr> | Sat Sep 08 10:02:28 2018 +0200 |
| committer | Eric Bruneton <ebruneton@free.fr> | Sat Sep 08 10:02:28 2018 +0200 |
| tree | 6161871fbb0e5339d4ff4546ead9ec62737e5977 | |
| parent | 32c9d4a011d348b65f11004becc59467c4b1b571 [diff] | |
| parent | b079e534534f930c49f3296dce1f631c70effd17 [diff] |
Merge branch 'delete-xml-package' into 'master' Delete the xml package. Since we don't update it anymore (for instance, we… See merge request asm/asm!211