diff config.py @ 102:796eb7667fb0

Added the --list-problems command-line option
author Oleg Oshmyan <chortos@inbox.lv>
date Fri, 01 Apr 2011 23:58:46 +0300
parents c3afa2b0c14c
children 6589511f5418
line wrap: on
line diff