Move CONTRIBUTORS.md to the root of the project

rzk-lang · Dec 9, 2023 · fc2735b · fc2735b
1 parent 3b954f6
commit fc2735b
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 18 deletions.
diff --git a/CONTRIBUTORS.md b/CONTRIBUTORS.md
@@ -0,0 +1,9 @@
+# List of contributors
+
+The following people have contributed to Rzk proof assistant:
+
+1. [Nikolai Kudasov](https://fizruk.github.io)
+2. [Abdelrahman Abounegm](https://github.com/aabounegm/) — contributed to the Rzk Language Server
+3. [Danila Danko](https://github.com/deemp) — helped set up Nix and Rzk playground
+
+You may see actual contributed commits in the [Contributors page on GitHub](https://github.com/rzk-lang/rzk/graphs/contributors).
diff --git a/docs/docs/en/CONTRIBUTORS.md b/docs/docs/en/CONTRIBUTORS.md
@@ -1,9 +1 @@
-# List of contributors
-
-The following people have contributed to Rzk proof assistant:
-
-1. [Nikolai Kudasov](https://fizruk.github.io)
-2. [Abdelrahman Abounegm](https://github.com/aabounegm/) — contributed to the Rzk Language Server
-3. [Danila Danko](https://github.com/deemp) — helped set up Nix and Rzk playground
-
-You may see actual contributed commits in the [Contributors page on GitHub](https://github.com/rzk-lang/rzk/graphs/contributors).
+--8<-- "CONTRIBUTORS.md"
diff --git a/docs/docs/ru/CONTRIBUTORS.md b/docs/docs/ru/CONTRIBUTORS.md
@@ -1,9 +1 @@
-# List of contributors
-
-The following people have contributed to Rzk proof assistant:
-
-1. [Nikolai Kudasov](https://fizruk.github.io)
-2. [Abdelrahman Abounegm](https://github.com/aabounegm/) — contributed to the Rzk Language Server
-3. [Danila Danko](https://github.com/deemp) — helped set up Nix and Rzk playground
-
-You may see actual contributed commits in the [Contributors page on GitHub](https://github.com/rzk-lang/rzk/graphs/contributors).
+--8<-- "CONTRIBUTORS.md"