diff options
| -rw-r--r-- | Doc/runtime.txt | 1 | ||||
| -rw-r--r-- | netlify.toml | 4 |
2 files changed, 0 insertions, 5 deletions
diff --git a/Doc/runtime.txt b/Doc/runtime.txt deleted file mode 100644 index 548d713..0000000 --- a/Doc/runtime.txt +++ /dev/null @@ -1 +0,0 @@ -3.7
\ No newline at end of file diff --git a/netlify.toml b/netlify.toml deleted file mode 100644 index 387c8f9..0000000 --- a/netlify.toml +++ /dev/null @@ -1,4 +0,0 @@ -[build] - base = "Doc/" - command = "make html" - publish = "Doc/build/html"
\ No newline at end of file |