diff --git a/papers/tpl b/papers/tpl new file mode 120000 index 0000000..2096798 --- /dev/null +++ b/papers/tpl @@ -0,0 +1 @@ +../submodule/tame/design/tpl/ \ No newline at end of file