IntenseWebs/pgadmin4
3
0 Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2026-10-25 14:10:05 -05:00
Code Issues Packages Projects Releases Wiki Activity

No need to define PGADMIN4_USE_WEBKIT any more.

Browse Source
This commit is contained in:
Dave Page committed 2018-05-16 13:33:53 +01:00
1 parent 4496a97a97
commit 246c434b61
1 file changed
+1 -1
Download Patch File Download Diff File Expand all files Collapse all files
Make.bat
+1 -1
View File
@@ -221,7 +221,7 @@ REM Main function Ends
CD "%WD%\runtime"
IF %ERRORLEVEL% NEQ 0 EXIT /B %ERRORLEVEL%
CALL "%QMAKE%" "DEFINES+=PGADMIN4_USE_WEBKIT"
CALL "%QMAKE%"
IF %ERRORLEVEL% NEQ 0 EXIT /B %ERRORLEVEL%
CALL %MAKE% clean