From: Wolfgang Bangerth Date: Wed, 30 Nov 2016 22:45:40 +0000 (-0700) Subject: Merge pull request #3650 from drwells/add-zlib-enum-docs X-Git-Tag: v8.5.0-rc1~351 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a4487d6959ad323dfffb094b2555e69e29acb0c4;p=dealii.git Merge pull request #3650 from drwells/add-zlib-enum-docs Add documentation to the zlib compression levels. --- a4487d6959ad323dfffb094b2555e69e29acb0c4