# HG changeset patch # User Christian Urban # Date 1469023108 -3600 # Node ID 9bc7ca0aff2e27df24d0510ce2e2f0067cdc5927 # Parent cd9e40280784724003c2cd2a153442c2a7619e67 added benchmark paper diff -r cd9e40280784 -r 9bc7ca0aff2e Literature/rex-benchmark-TR.pdf Binary file Literature/rex-benchmark-TR.pdf has changed