diff options
author | Holden Rohrer <hr@hrhr.dev> | 2020-05-28 18:43:02 -0400 |
---|---|---|
committer | Holden Rohrer <hr@hrhr.dev> | 2020-05-28 18:43:02 -0400 |
commit | 84aed252dd24fc62cfec4b877edd5c8e90e43035 (patch) | |
tree | 11bfdb7a69b0ae7f8a738ff09db9650685090dd9 /report | |
parent | d1fcf6fb400ef1dab7d988354b4ca48614e93420 (diff) | |
parent | d6ed0246fef2253ad8f4c4e98fcf27c016bdbd37 (diff) |
Merge branch 'configure'
Diffstat (limited to 'report')
l--------- | report/datatables.tex | 1 | ||||
-rw-r--r-- | report/tables.tex | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/report/datatables.tex b/report/datatables.tex new file mode 120000 index 0000000..bc02edd --- /dev/null +++ b/report/datatables.tex @@ -0,0 +1 @@ +../gen/tables.tex
\ No newline at end of file diff --git a/report/tables.tex b/report/tables.tex index a3ebb4d..288e5a6 100644 --- a/report/tables.tex +++ b/report/tables.tex @@ -1,4 +1,4 @@ -\input ../gen/tables +\input datatables \newdimen\oldbaseskip \oldbaseskip=\baselineskip \baselineskip=13pt \deaths |