[Dune] [#771] configure generated gridtype.hh / dgfgridtype.hh

[Dune]

THIS IS AN AUTOMATED MESSAGE, DO NOT REPLY.

The following task has a new comment added:

FS#771 - configure generated gridtype.hh / dgfgridtype.hh
User who did this - Martin Nolte (nolte)

----------
There seems to be pretty little interest in this vote. So far, we have
3 votes in favor of configure generated gridtype.hh
0 votes against configure generated files, but in favor of utility/gridtype.hh
0 votes completely against any form of gridtype.hh

We could, of course, try to deduce votes from the opinions given above, but that would be speculative.

I'll close this as voted in favor; if someone disagrees, feel free to reopen...

----------

More information can be found at the following URL:
http://www.dune-project.org/flyspray/index.php?do=details&task_id=771#comment1965

You are receiving this message because you have requested it from the Flyspray bugtracking system.  If you did not expect this message or don't want to receive mails in future, you can change your notification settings at the URL shown above.