diff options
author | Remi Collet <remi@remirepo.net> | 2020-02-24 09:07:25 +0100 |
---|---|---|
committer | Remi Collet <remi@remirepo.net> | 2020-02-24 09:07:25 +0100 |
commit | af332916f62f832f77773bbf8be903a2f7ab900d (patch) | |
tree | 539fe3ad09d02e7838c9d31fdd0057a8a4102260 /makesrc.sh | |
parent | 103b4e3e08d29dcc0a247418b6bf645019322824 (diff) |
Diffstat (limited to 'makesrc.sh')
l--------- | makesrc.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/makesrc.sh b/makesrc.sh new file mode 120000 index 0000000..9bfa979 --- /dev/null +++ b/makesrc.sh @@ -0,0 +1 @@ +php-EasyRdf-get-source.sh
\ No newline at end of file |