diff options
| author | Holden Rohrer <holden.rohrer@gmail.com> | 2019-10-21 22:41:41 -0400 |
|---|---|---|
| committer | Holden Rohrer <holden.rohrer@gmail.com> | 2019-10-21 22:41:41 -0400 |
| commit | 602c2e5d25c93a48e39ddd644f6eed530b921908 (patch) | |
| tree | 628ac4beb33f508f513611fd511ba1e476db09a7 /progress/progress.tex | |
| parent | f585962b31148affc0e230a603bfb3c3effbea66 (diff) | |
renamed Overview
Diffstat (limited to 'progress/progress.tex')
| -rw-r--r-- | progress/progress.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/progress/progress.tex b/progress/progress.tex index 7955bd2..ef5d722 100644 --- a/progress/progress.tex +++ b/progress/progress.tex @@ -1,7 +1,7 @@ \input ../format \titlesub{Part 2: Progress Report}{Topic: Distributed Systems Integrity and Correctness} -\include Overview:Overview +\include Global Consensus:Consensus %\include Products:Products % No Longer Necessary |