jimmy/postgrest
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

chore: fix repo warning on build

Browse Source
This commit is contained in:
Wolfgang Walther
2025-10-09 11:57:16 +02:00
parent c1d9728dc8
commit e4bdc3bc4c
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
postgrest.cabal
+1 -1
View File
@@ -26,7 +26,7 @@ tested-with:
source-repository head source-repository head
type: git type: git
location: git://github.com/PostgREST/postgrest.git location: https://github.com/PostgREST/postgrest.git
flag dev flag dev
default: False default: False