project: rename "docs" to "pipelines"

manemotha · Jun 12, 2022 · ffd972e · ffd972e
1 parent def50b3
commit ffd972e
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 0 deletions.
diff --git a/docs/database.pdf → pipelines/database.pdf b/docs/database.pdf → pipelines/database.pdf
diff --git a/docs/rooms.pdf → pipelines/rooms.pdf b/docs/rooms.pdf → pipelines/rooms.pdf