Minor fix.
authorFrancois Fleuret <francois@fleuret.org>
Thu, 15 Jun 2017 22:29:44 +0000 (00:29 +0200)
committerFrancois Fleuret <francois@fleuret.org>
Thu, 15 Jun 2017 22:29:44 +0000 (00:29 +0200)
commitea951479345890206211764657ce4d9556af9e76
treedf5dfa2fa92f90f6f7dd31b3d19e616a0b24ae8e
parentc8bc2db12cddbf90b851798cd101632e7e9511ba
Minor fix.
vignette_set.py