[Getfem-commits] [getfem-commits] branch master updated: Fix non-UTF8 file encodings

2023-06-14 Thread Konstantinos Poulios via Getfem-commits
This is an automated email from the git hooks/post-receive script. logari81 pushed a commit to branch master in repository getfem. The following commit(s) were added to refs/heads/master by this push: new e41de9db Fix non-UTF8 file encodings e41de9db is described below commit e41de9dbc9a117

[Getfem-commits] [getfem-commits] branch master updated: Improve input check in scripting interface, fix broken link

2023-06-14 Thread Konstantinos Poulios via Getfem-commits
This is an automated email from the git hooks/post-receive script. logari81 pushed a commit to branch master in repository getfem. The following commit(s) were added to refs/heads/master by this push: new 72735599 Improve input check in scripting interface, fix broken link 72735599 is descri