commit | 922bebccdd7edbbdc93287e58bc46d5323eb7652 | [log] [tgz] |
---|---|---|
author | Nick Wellnhofer <wellnhofer@aevum.de> | Wed Jul 15 14:20:42 2020 +0200 |
committer | Nick Wellnhofer <wellnhofer@aevum.de> | Wed Jul 15 14:20:42 2020 +0200 |
tree | e8f92b2ee2ae1937fb942073052d329632cafec3 | |
parent | 1493130ef24f8af2e1e70fdf12827374f670f7bf [diff] |
Make 'xmllint --html --push -' read from stdin