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 76a75614 Fix issue from #89e50dbd 76a75614 is described below commit 76a75614e9b60c603334cb7e5a637d0eedd78495 Author: Konstantinos Poulios <logar...@gmail.com> AuthorDate: Tue Jun 28 14:42:23 2022 +0200 Fix issue from #89e50dbd --- bin/extract_doc | 2 +- bin/split_cmdref | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/bin/extract_doc b/bin/extract_doc index 0619560c..d444e652 100755 --- a/bin/extract_doc +++ b/bin/extract_doc @@ -1,4 +1,4 @@ -#!/usr/bin/python3 +#!/usr/bin/env python3 # -*- python -*- # # Copyright (C) 2004-2022 Yves Renard, Julien Pommier. diff --git a/bin/split_cmdref b/bin/split_cmdref index 5e8c2e34..db36a2e3 100755 --- a/bin/split_cmdref +++ b/bin/split_cmdref @@ -1,4 +1,4 @@ -#!/usr/bin/python3 +#!/usr/bin/env python3 # -*- python -*- # # Copyright (C) 2004-2020 Yves Renard.