Adjusting listing box margin, was too for using texlive 2013, I had 2012
authorsebix <szebi@gmx.at>
Sat, 18 Jan 2014 21:22:06 +0000 (22:22 +0100)
committersebix <szebi@gmx.at>
Sat, 18 Jan 2014 21:22:06 +0000 (22:22 +0100)
commitd064566dd648d08aafb1fcf774b20c15689cef84
tree81e1c9ec5255a9ae9336146eece8e812eb353218
parent9f9c04b4bacbb4be9f18ab59cf875454ffabb249
Adjusting listing box margin, was too for using texlive 2013, I had 2012
src/common/style.tex