diff options
-rw-r--r-- | scripts/eigen_gen_credits.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/eigen_gen_credits.cpp b/scripts/eigen_gen_credits.cpp index d7a625d47..f2e81631d 100644 --- a/scripts/eigen_gen_credits.cpp +++ b/scripts/eigen_gen_credits.cpp @@ -21,6 +21,11 @@ std::string contributor_name(const std::string& line) return "Mark Borgerding"; } + if(line.find("kayhman@contact.intra.cea.fr") != string::npos) + { + return "Guillaume Saupin"; + } + // from there on we assume that we have a entry of the form // either: // Bla bli Blurp |