Make colors for user graph work for both pdf and png
authorMichal Sojka <sojka@os.inf.tu-dresden.de>
Mon, 26 Sep 2011 12:37:18 +0000 (14:37 +0200)
committerMichal Sojka <sojka@os.inf.tu-dresden.de>
Mon, 26 Sep 2011 12:37:18 +0000 (14:37 +0200)
commitd7dbc3aed952a5931464d53a857b3a49f4632c1f
tree8ebfd1dcfa9a52afa4a16dd579878901dcc367e5
parent04e52ed0d948cbc94848b96b72cb9c36eac27212
Make colors for user graph work for both pdf and png
gw-tests/user.sh