DPOR_README disclaimer

parapluu · May 27, 2015 · 12f4c5d · 12f4c5d
1 parent 4162865
commit 12f4c5d
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/resources/DPOR_paper_material/DPOR_README b/resources/DPOR_paper_material/DPOR_README
@@ -36,6 +36,10 @@ Concuerror on a Windows machine.
 
 You can build the application using 'make'
 
+CAUTION: This file's information refer to a version of the code that has been
+         tagged under git as 'POPL_submission'. Check out that version before
+         continuing.
+
 3. Quick intro
 --------------