Enrico Forestieri 3cc3ff39a0 Simplify preamble code when using listings
Following an idea from Guillame.
2017-06-08 04:25:53 +02:00
..
2017-05-26 09:39:15 +02:00
2017-05-22 01:48:07 +02:00
2017-06-07 02:28:21 +02:00
2011-04-02 11:00:19 +00:00
2017-06-07 00:55:23 +02:00
2011-02-21 19:56:43 +00:00
2016-12-06 14:04:50 +01:00
2017-04-04 23:08:45 +02:00
2017-06-07 02:28:21 +02:00
2017-06-07 00:55:23 +02:00