diff options
| author | Mattia Rizzolo <mattia@mapreri.org> | 2015-07-08 11:44:12 +0000 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-07-08 13:50:09 +0200 |
| commit | 3c954457dc85ed3e8d98620a56eb514119aaea10 (patch) | |
| tree | 2f76200faaa0f7782fb12b8a5aecc3d3df034586 /features/misc_files/sample.tex | |
| parent | 68bf6445731dd3b9d1ed24348f38fffa58dd60fc (diff) | |
| download | jenkins.debian.net-3c954457dc85ed3e8d98620a56eb514119aaea10.tar.xz | |
reproducible: common.py: save the number of UDD queries by doing only a single huge one. Also clean up no more needed functions
Diffstat (limited to 'features/misc_files/sample.tex')
0 files changed, 0 insertions, 0 deletions