diff --git a/inst b/inst new file mode 120000 index 0000000..c2d31ee --- /dev/null +++ b/inst @@ -0,0 +1 @@ +documentation/codos/inst \ No newline at end of file