directory / @ 0:64aa411fc2b2 default tip

name size permissions
file lamport-paxos.pdf 568998 -rw-r--r--
file paxos-simple.pdf 95019 -rw-r--r--