gprbuild: Move output to build/
1 file changed
tree: 0fc88d818e2216cb8abec4e267db64c99ff4441e
  1. src/
  2. .gitignore
  3. default.adc
  4. default.gpr
  5. default.nix