diff options
| author | Dante Niewenhuis <d.niewenhuis@hotmail.com> | 2025-05-19 13:31:34 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-05-19 13:31:34 +0200 |
| commit | e9a1b6078e366a8ee071f5d423a1874608618e4d (patch) | |
| tree | ef539af46703cd25fb66775b4580c3460c72be91 /site/docs/documentation/Input/_category_.json | |
| parent | d70312f122d9ef7c31b05757239ffc66af832dee (diff) | |
Removing gh-pages site from master branch (#338)
* Removing site from master branch
* Updated README.md
Diffstat (limited to 'site/docs/documentation/Input/_category_.json')
| -rw-r--r-- | site/docs/documentation/Input/_category_.json | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/site/docs/documentation/Input/_category_.json b/site/docs/documentation/Input/_category_.json deleted file mode 100644 index e433770c..00000000 --- a/site/docs/documentation/Input/_category_.json +++ /dev/null @@ -1,7 +0,0 @@ -{ - "label": "Input", - "position": 1, - "link": { - "type": "generated-index" - } -} |