mesa: remove unused dri option float_depth
authorTimothy Arceri <tarceri@itsqueeze.com>
Thu, 30 Aug 2018 00:19:03 +0000 (10:19 +1000)
committerTimothy Arceri <tarceri@itsqueeze.com>
Tue, 18 Sep 2018 09:43:05 +0000 (19:43 +1000)
commit3a1d09fd559ca61d6ee625fa493986b3bd606327
tree47549938233a06b535ce62a5f35d18d552b1acf1
parent91e76ce4933704df4a92750105659f10e19a6600
mesa: remove unused dri option float_depth

This seems to have only been used by DRI1 drivers which were
removed with e4344161bde2.

Reviewed-by: Marek Olšák <marek.olsak@amd.com>
src/util/xmlpool/ca.po
src/util/xmlpool/de.po
src/util/xmlpool/es.po
src/util/xmlpool/fr.po
src/util/xmlpool/nl.po
src/util/xmlpool/sv.po
src/util/xmlpool/t_options.h