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 | d0969b133e1cfed15d83c9bd5b9e7dd67ac919aa (patch) | |
| tree | 4667941c1e6220e11522dfe311b619c3822d5aa3 /Makefile | |
| parent | 45ffdd84614307d501e544d57f2aabfea24db96d (diff) | |
Another place where mips needs to be dropped
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions