descriptionUnnamed repository; edit this file 'description' to name the repository.
last changeMon, 11 Nov 2019 08:52:31 +0000 (09:52 +0100)
shortlog
2019-11-11 Mart Lubbersmake up to date with everything master
2018-10-23 Mart LubbersIRC moved to platform
2018-10-20 dopefishhMerge pull request #20 from clean-cloogle/gitlab-move
2018-10-20 Camil StapsUpdate references to github
2018-09-20 Mart LubbersClean up imports
2018-09-20 Mart LubbersUpdate to clean 3.0
2018-04-26 Mart Lubbersupdate submods
2018-04-26 dopefishhMerge pull request #19 from clean-cloogle/add-result...
2018-04-26 Camil StapsAdd ABCInstructionResult and ProblemResult formats
2018-04-26 Mart LubbersUpdate submodules
2018-04-04 Mart LubbersUpdate to latest clean-selectloop master
2018-04-03 Mart Lubbersupdate bot to work with clean-selectloop
2018-02-15 Mart Lubbersunderscores are also allowed in usernames...
2018-01-13 Camil StapsUpdate libcloogle to fix parsing error
2017-12-18 Mart LubbersMerge branch 'interface-improvements'
2017-12-18 Mart Lubbersmake up to date
...
heads
22 months ago master