summaryrefslogtreecommitdiff
path: root/util/board_status/to-wiki/push-to-wiki.sh
AgeCommit message (Expand)Author
2015-06-08Remove empty lines at end of fileElyes HAOUAS
2015-03-04board-status: update mediawiki interfacePatrick Georgi
2014-08-11board-status: remove whitespacePatrick Georgi
2013-12-05Add scripts to export board status data to wikiPatrick Georgi