ID: 5cece2766c225e2e56091ef90dd0e5db9da1cf6b Added by Marcelo Coraça de Freitas over 2 years ago
new Makefile.include that allows fake include/lib paths in the distribution gpr files
View differences