From: John Ousterhout <ouster@cs.stanford.edu>
Date: Tue, 19 May 2020 04:32:20 +0000 (-0700)
Subject: Convert tabs to spaces in design doc templates
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1407c40250b1b7563c9927e63490971e4cdeb389;hp=1407c40250b1b7563c9927e63490971e4cdeb389;p=pintos-anon

Convert tabs to spaces in design doc templates
---