Merge MMSYS 16

2019-08-28 11:39:20 +02:00
parent b59a5b394b
commit 2370d41471
22 changed files with 22586 additions and 86 deletions
--- a/src/system-bookmarks/main.tex
+++ b/src/system-bookmarks/main.tex
@@ -1,13 +1,2 @@
 \chapter{System bookmarks}
-
-\section{Bookmark interaction}
-
-\unpublished{MMSys 18}
-
-\section{QoS improvement with bookmarks}
-
-\written{MMSys 16}
-
-\unpublished{MMSys 18}
-
 \input{system-bookmarks/user-study}