mirror of
https://github.com/AdaCore/PolyORB.git
synced 2026-02-12 13:01:15 -08:00
More convenient to use from an IDE [changelog] * compilers/gnatdist/gnatdist.gpr: New project file. * Makefile.in: Use gnatdist.gpr to build gnatdist. TN: U504-051 Change-Id: I9353267b4e708ccfd106e86b0c3e30b9336758ca