From f054457dfb3b347508b7174373f2745430c0e483 Mon Sep 17 00:00:00 2001 From: Roberto Villegas-Diaz Date: Thu, 8 Jul 2021 18:49:45 +0100 Subject: [PATCH] New symbolic link --- inst | 1 + 1 file changed, 1 insertion(+) create mode 120000 inst 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