summaryrefslogtreecommitdiff
path: root/contrib/get-authors
AgeCommit message (Expand)Author
2018-06-25Do not use git blame -C in get-authors (too many false positives).Aina Niemetz
2018-06-25Added Makai and Yoni to get-authors script.Aina Niemetz
2018-04-07Fixed get-authors.Aina Niemetz
2018-04-02Remove references to nyu (#1721)Clark Barrett
2018-03-21Ignore whitespaces and moved code for contrib/get-authors.Mathias Preiner
2018-02-13Skip header for determining top contributors list. (#1603)Aina Niemetz
2017-07-07Use consistent author names for the copyright headers.Mathias Preiner
2016-04-20update from the masterPaulMeng
2014-01-02Update copyright year.Morgan Deters
2013-12-05Script fixes; when determining authorship of source files, don't count copyri...Morgan Deters
2013-04-02Fix get-authors script to not extract email addresses, canonicalize names, ad...Morgan Deters
2013-02-04fixed files with DOS newlines; fixed contrib/ scripts to use gitMorgan Deters
2011-03-15Merge from cudd branch. This mostly just adds support for linkingMorgan Deters
2010-02-25* src/expr/node.h: add a copy constructor. Apparently GCC doesn'tMorgan Deters
2010-02-22* configure.ac: Remove doc/ from search path for Makefile.amsMorgan Deters
2009-12-17update-copyright.pl now retrieves and incorporates author information from re...Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback