chore: Prepare merge of postgrest-docs into postgrest main repo

This avoids some merge conflicts to allow git blame to detect renames properly.
2024-02-17 13:43:11 +01:00
parent 867dc58ecc
commit 8aa8e682a2
18 changed files with 22 additions and 17 deletions
@@ -0,0 +1,8 @@
+_build
+Pipfile.lock
+*.aux
+*.log
+_diagrams/db.pdf
+misspellings
+unuseddict
+.history