diff options
| author | Stephan Seitz <stephan.seitz@fau.de> | 2022-02-05 23:10:22 +0100 |
|---|---|---|
| committer | Stephan Seitz <stephan.seitz@fau.de> | 2022-02-08 23:37:59 +0100 |
| commit | 6c9b80d73ca13cd202e1817fb708d36fd4049011 (patch) | |
| tree | 9b615422a3e5716fdb9ad0378d3f75f971477966 /plugin | |
| parent | b1ef4033222fa86cbe5c6a0abf70098f157546d4 (diff) | |
fix: -Os should be used during compilation phase in makefile
Diffstat (limited to 'plugin')
0 files changed, 0 insertions, 0 deletions