Hochsteger, Matthias ce8ec2eb7f Merge branch 'gui_settings' into 'master'
add gui settings if not already added in ngsolve

See merge request ngsolve/netgen!582
2023-07-09 00:40:40 +02:00
..
2021-10-27 16:51:41 +02:00
2019-07-29 07:11:57 +02:00
2014-09-16 16:37:32 +00:00
2014-09-16 16:37:32 +00:00
2020-11-11 16:40:06 +00:00
2014-09-26 15:11:52 +00:00
2019-07-26 16:58:55 +02:00
2014-08-29 21:05:50 +00:00
2022-02-13 19:02:51 +01:00
2014-08-29 21:05:50 +00:00
2019-07-29 07:11:57 +02:00