Skip to content
Snippets Groups Projects
Commit 069e64eb authored by Marin Jankovski's avatar Marin Jankovski
Browse files

Merge branch 'makefile_comments' into 'master'

Makefile comments

This change adds some comments to the Makefile to explain why we do certain things.

See merge request !256
parents 972d4f94 d2048aba
No related branches found
No related tags found
No related merge requests found
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment