From 225ab148ff68f5df2064994aa9a18aa8e9ee7b5f Mon Sep 17 00:00:00 2001 From: Rafael Alcalde Azpiazu Date: Fri, 17 Jan 2020 16:39:01 +0100 Subject: [PATCH 1/3] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 04b4bb7..ac7f8cc 100644 --- a/README.md +++ b/README.md @@ -1,5 +1,5 @@ # Clingo# -

.NET Framework Clingo 5.4.0 GitHub Workflow Status (branch) Coveralls github branch

+

.NET Framework Clingo 5.4.0 GitHub Workflow Status (branch) Coverage Status

A C# bindings to the [clingo](https://github.com/potassco/clingo) library. From d2ffcd3277f2a80fac023f54329517701d4019f6 Mon Sep 17 00:00:00 2001 From: Rafael Alcalde Azpiazu Date: Fri, 3 Apr 2020 20:36:07 +0200 Subject: [PATCH 2/3] Set theme jekyll-theme-minimal --- _config.yml | 1 + 1 file changed, 1 insertion(+) create mode 100644 _config.yml diff --git a/_config.yml b/_config.yml new file mode 100644 index 0000000..2f7efbe --- /dev/null +++ b/_config.yml @@ -0,0 +1 @@ +theme: jekyll-theme-minimal \ No newline at end of file From 5f62de4611c8915cf0c15df21e8cb38c085c63ee Mon Sep 17 00:00:00 2001 From: Rafael Alcalde Azpiazu Date: Tue, 14 Apr 2020 18:25:22 +0200 Subject: [PATCH 3/3] Delete _config.yml --- _config.yml | 1 - 1 file changed, 1 deletion(-) delete mode 100644 _config.yml diff --git a/_config.yml b/_config.yml deleted file mode 100644 index 2f7efbe..0000000 --- a/_config.yml +++ /dev/null @@ -1 +0,0 @@ -theme: jekyll-theme-minimal \ No newline at end of file