Skip to content
Snippets Groups Projects
Commit 4d28e91e authored by Dmitry Shachnev's avatar Dmitry Shachnev 🐧
Browse files

Drop debian/patches/armv4.diff. 

The armel baseline is armv5te now. See:

- https://lists.debian.org/debian-arm/2017/11/msg00045.html
- https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=882174
parent b252b0fb
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment