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 | 968539dcf056cc1f23377c9d880d096439fb31d0 (patch) | |
tree | d8b09967b601a4733a7f4b62e7d453f0b375ca52 /Makefile | |
parent | fbd6bc3a3d077659f730d871a93d9d7001df1312 (diff) |
Another place where mips needs to be dropped
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions