commit | a0b1178f569275912d7cf7c9af6eb4c03d14995a | [log] [tgz] |
---|---|---|
author | Nico Huber <nico.huber@secunet.com> | Tue Jan 23 16:16:48 2024 +0100 |
committer | Nico Huber <nico.huber@secunet.com> | Tue Jan 23 16:16:48 2024 +0100 |
tree | 0fc88d818e2216cb8abec4e267db64c99ff4441e | |
parent | 936a9d81027d4788105f2b0161d8d72118fb7435 [diff] |
gprbuild: Move output to build/