Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
I added these in 2013 but I don't think anyone uses them and I'm not even sure they still produce a working package. I move to remove them because that makes subsequent cleanup a little easier. PR-URL: #43647 Reviewed-By: Michaël Zasso <[email protected]> Reviewed-By: Luigi Pinca <[email protected]> Reviewed-By: Richard Lau <[email protected]> Reviewed-By: Mohammed Keyvanzadeh <[email protected]> Reviewed-By: Tobias Nießen <[email protected]> Reviewed-By: Colin Ihrig <[email protected]> Reviewed-By: Jiawen Geng <[email protected]> Reviewed-By: Juan José Arboleda <[email protected]>
- Loading branch information