diff options
author | Florian Dold <florian.dold@gmail.com> | 2018-10-22 00:52:09 +0200 |
---|---|---|
committer | Florian Dold <florian.dold@gmail.com> | 2018-10-22 00:52:09 +0200 |
commit | 6e9542ce73c03ea37f530e219a3d6649c0244378 (patch) | |
tree | 3b0173e5921b970d954c60dc96b3d392ab34b2b7 /stuff.txt | |
parent | 963fbb43ca12d38007e56b54862bb92d4e598417 (diff) | |
download | dold-thesis-phd-6e9542ce73c03ea37f530e219a3d6649c0244378.tar.gz dold-thesis-phd-6e9542ce73c03ea37f530e219a3d6649c0244378.tar.bz2 dold-thesis-phd-6e9542ce73c03ea37f530e219a3d6649c0244378.zip |
sync
Diffstat (limited to 'stuff.txt')
-rw-r--r-- | stuff.txt | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -14,6 +14,7 @@ stretch goals: * illustration for contract terms etc. * full reproducible setup (describe Guix setup and configure flags) in appendix * add details for /payback +* benchmark that shows DB perf doesn't degrade final submission (after committee): * screenshots in Firefox |