diff options
author | Benjamin Barenblat <bbaren@mit.edu> | 2015-03-10 23:25:30 -0400 |
---|---|---|
committer | Benjamin Barenblat <bbaren@mit.edu> | 2015-03-10 23:25:30 -0400 |
commit | ccb8d77bd37da802f8a1279447e20c554022289d (patch) | |
tree | fde4dd9fc6b061eb7666954411ceaf31dea68054 /debian/patches/series | |
parent | 1b9995725af7f9deae1acc09db1d7801aab78e14 (diff) |
Use letter paper for reference manual
Diffstat (limited to 'debian/patches/series')
-rw-r--r-- | debian/patches/series | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series index 7e2a646c..a285d896 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1 +1,2 @@ harden.diff +doc-letterpaper.diff |