Use DiscretizationDefaultLocalOperator.

A possible extension to #83 (closed).

assigned to @IvBu

mentioned in issue #83 (closed)

added 6 commits

• eaf35f3c...5c422c10 - 5 commits from branch master
• 7f75762f - Use DiscretizationDefaultLocalOperator.

Compare with previous version

added 1 commit

• afbbb2ae - Use DiscretizationDefaultLocalOperator.

Compare with previous version

requested review from @timok

added 12 commits

• afbbb2ae...e92b7954 - 10 commits from branch master
• cb2e8714 - Use DiscretizationDefaultLocalOperator.
• 00875fa6 - Update patches.

Compare with previous version

mentioned in commit bbc202a8

merged

changed milestone to %3.10