diff publish.sh @ 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 394aec9712b6
children 25b929aa92a1
line wrap: on
line diff