diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2020-12-02 15:22:00 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-02 15:22:00 +0100 |
commit | 9daf713bcba6b59a8b3949299d8bba1f55969e5c (patch) | |
tree | 7d74773775523691885a15f18b7e3fab3974fe5c /src/libstore | |
parent | 1b79b5b983a6c775766bd0d1c7881042188998b8 (diff) | |
parent | 0d9e1af695ac238b0f8c8bc296bf01eb1430e26b (diff) |
Merge pull request #4300 from tweag/remove-unknown-pragma-warning
Remove `unknown pragma` gcc warning
Diffstat (limited to 'src/libstore')
0 files changed, 0 insertions, 0 deletions