Commit 92ff4984 authored by Michael Banck's avatar Michael Banck
Browse files

* debian/patches/makeflags.patch: Disabled OpenMP for now (Closes: #918054).

parent dc765d4f
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment