History log of /hets/utils/checkSource.sh
Revision Date Author Comments Expand
59e2d44f2f3018a48bedd41b51ba8e5955127506 27-Jun-2014 Christian Maeder <cmaeder@users.noreply.github.com>

also ignore fmap replacement
670d45d02421ffde9b1086f8ec3e7d932e8bc690 29-Nov-2013 Jonathan von Schroeder <sternkinder@gmail.com>

ignore "Use void" git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18339 cec4b9c1-7d33-0410-9eda-942365e851bb
98c7c7f4106d31ce76e9ea01510556eb5615e5c0 27-Dec-2012 Christian Maeder <Christian.Maeder@dfki.de>

script to check haskell sources git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17700 cec4b9c1-7d33-0410-9eda-942365e851bb