IntenseWebs/pgadmin4
3
0
Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2025-02-25 18:55:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

Update to use GitHub for source repos.

Browse Source
This commit is contained in:
Dave Page
2022-09-21 10:56:03 +01:00
parent 4d9dfe7d04
commit 8459a45d72
6 changed files with 7 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
tools/sql_keywords.py
View File

@@ -18,8 +18,8 @@ import requests
import argparse
PG_CODES_URLS = [
"https://git.postgresql.org/gitweb/?p=postgresql.git;a=blob_plain;"
"f=src/pl/plpgsql/src/pl_scanner.c",
"https://raw.githubusercontent.com/postgres/postgres/master/src/pl/"
"plpgsql/src/pl_scanner.c",
]
PG_CODES_REGEX = "PG_KEYWORD\(\"([a-z]*)\"[A-Z_, ]*\)"