Remove docs/dev (migrated to Notion) (#84)

This commit is contained in:
Marko Budiselić
2021-01-26 20:08:40 +01:00
committed by GitHub
parent 90d4ebdb1e
commit 2caf0e617e
57 changed files with 5 additions and 5663 deletions

View File

@@ -4,7 +4,7 @@ on:
push:
paths-ignore:
- 'docs/**'
- '*.md'
- '**/*.md'
jobs:
community_build: