saviornt
diff --git a/‎docs/Makefile
Lines changed: 0 additions & 20 deletions b/‎docs/Makefile
Lines changed: 0 additions & 20 deletions
diff --git a/‎docs/create_placeholders.py
Lines changed: 0 additions & 107 deletions b/‎docs/create_placeholders.py
Lines changed: 0 additions & 107 deletions
diff --git a/‎docs/fix_headers.py
Lines changed: 0 additions & 57 deletions b/‎docs/fix_headers.py
Lines changed: 0 additions & 57 deletions
diff --git a/‎docs/make.bat
Lines changed: 0 additions & 35 deletions b/‎docs/make.bat
Lines changed: 0 additions & 35 deletions
diff --git a/‎docs/scripts/create_placeholders.py
Lines changed: 0 additions & 112 deletions b/‎docs/scripts/create_placeholders.py
Lines changed: 0 additions & 112 deletions