Skip to content
GitLab
Commit c8706a9d authored by Jens Timmerman's avatar Jens Timmerman
Browse files

remove extra make_devel_module 

Why do we create it in the build dir anyway?
parent 64a25114
Hide whitespace changes
Inline Side-by-side
Supports Markdown
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