aboutsummaryrefslogtreecommitdiffstats
path: root/community/z3
diff options
context:
space:
mode:
authorJakub Jirutka <jakub@jirutka.cz>2018-08-03 15:28:44 +0200
committerJakub Jirutka <jakub@jirutka.cz>2018-08-03 15:28:44 +0200
commite697372910202d55c446edd4d65c42fbe0ed88ff (patch)
tree6f6d819ec60a60237de8e54234107d54800c1d95 /community/z3
parente6200a5c61a35d55afeef51bd3117ddeef751aec (diff)
downloadaports-e697372910202d55c446edd4d65c42fbe0ed88ff.tar.bz2
aports-e697372910202d55c446edd4d65c42fbe0ed88ff.tar.xz
community/rust: remove rust.deny-warnings=false, not needed anymore
Diffstat (limited to 'community/z3')
0 files changed, 0 insertions, 0 deletions