diff options
author | Raphaël Hertzog <hertzog@debian.org> | 2019-08-21 09:09:17 +0200 |
---|---|---|
committer | Raphaël Hertzog <hertzog@debian.org> | 2019-08-21 09:09:17 +0200 |
commit | da0ce68f76e9bc4ff2eb059f126bb39f09e49f36 (patch) | |
tree | a44e1295f50f3d79ab3b5636b5122bcdaa3dab5b /Makefile | |
parent | fece7933f51008c7d2adbcb8860db1339f376f93 (diff) |
Another place where mips needs to be dropped
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions