Closed julia326 closed 5 years ago
Also decreasing default PDF printing zoom so that stuff fits better onto a single page
Coverage remained the same at 86.387% when pulling 4225b7deaa10b1855419353c819000225fd62f5b on fix-float-display into 733913c1e2abd613c5d74732e39ba0408930b630 on master.
Also decreasing default PDF printing zoom so that stuff fits better onto a single page