add file headers
commit31e4cfe8908ca152ed338d5ff9020c744ac915cb
authorBertram Felgenhauer <int-e@gmx.de>
Wed, 14 May 2008 22:48:03 +0000 (15 00:48 +0200)
committerBertram Felgenhauer <int-e@gmx.de>
Wed, 14 May 2008 22:48:03 +0000 (15 00:48 +0200)
treea06253a17ecc737ec13a715779dee09039dcf272
parent3f8f96dcf467c8a0dd23af7f7abe72cdf5f48afa
add file headers
src/GUI.hs
src/GUI/Common.hs
src/GUI/Config.hs
src/GUI/Stats.hs
src/Main.hs
src/Mine.hs
src/SimpleStrat.hs
src/Strat1.hs
src/Strategies.hs
src/Util.hs