From 17408e1ec487a261ee5d4b508139b2f8ac5c287d Mon Sep 17 00:00:00 2001 From: Pierre-Yves Strub Date: Fri, 14 Jun 2024 12:35:38 +0200 Subject: [PATCH] core --- README.md | 1 + _config.yml | 14 ++++++++++++++ 2 files changed, 15 insertions(+) create mode 100644 README.md create mode 100644 _config.yml diff --git a/README.md b/README.md new file mode 100644 index 0000000..9d2170d --- /dev/null +++ b/README.md @@ -0,0 +1 @@ +## EasyCrypt diff --git a/_config.yml b/_config.yml new file mode 100644 index 0000000..671640e --- /dev/null +++ b/_config.yml @@ -0,0 +1,14 @@ +plugins: + - jekyll-relative-links +relative_links: + enabled: true + collections: true +include: + - CONTRIBUTING.md + - README.md + - LICENSE.md + - COPYING.md + - CODE_OF_CONDUCT.md + - CONTRIBUTING.md + - ISSUE_TEMPLATE.md + - PULL_REQUEST_TEMPLATE.md