diff options
author | Clement Tsang <34804052+ClementTsang@users.noreply.github.com> | 2023-02-08 00:41:03 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-02-08 00:41:03 -0500 |
commit | e7b682a550e5d7b1c7a745c2a248703398e17202 (patch) | |
tree | 7d07da5132f186bb45a01d6f5246447dfa41fc76 /src/widgets | |
parent | 9fd8ce3151e4f6ad273a51fd4a40c72aca40c438 (diff) |
other: add no-opt and flamegraph build profiles for convenience (#1014)
Diffstat (limited to 'src/widgets')
0 files changed, 0 insertions, 0 deletions