Opened 5 years ago

Closed 5 years ago

Last modified 2 years ago

#451 closed defect (invalid)

Wrong names in installed gpr files

Reported by: Maxim Reznik Owned by:
Priority: major Milestone: 18.0
Component: Matreshka Version:
Keywords: gprinstall Cc:


After fixing #449 we have wrong (incompatible at least) gpr files installed with gprinstall:




Change History (2)

comment:1 by vadim.godunko, 5 years ago

Resolution: invalid
Status: newclosed

This is annoyng, but new names follow gprinstall's conventions.

comment:2 by vadim.godunko, 2 years ago


Milestone renamed

Note: See TracTickets for help on using tickets.