diff options
| author | ManoloFLTK <41016272+ManoloFLTK@users.noreply.github.com> | 2022-05-05 10:21:50 +0200 |
|---|---|---|
| committer | ManoloFLTK <41016272+ManoloFLTK@users.noreply.github.com> | 2022-05-05 10:21:50 +0200 |
| commit | e02ee7d5f11b31024e1fe91cf980a90641b1a2c4 (patch) | |
| tree | 8cc0f545cce0344987c8a9c9f09f38e073db80fb /src/drivers | |
| parent | 7d5d2af5475f2ce8f6a0b6d0bee1f4a12c1d36aa (diff) | |
Add check against null pointer occurrence reported with Gmsh (Issue #434).
Diffstat (limited to 'src/drivers')
0 files changed, 0 insertions, 0 deletions