IntenseWebs/pgadmin4
3
0 Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2026-11-02 20:30:17 -06:00
Code Issues Packages Projects Releases Wiki Activity

Fix documentation indexing.

Browse Source
This commit is contained in:
Akshay Joshi authored and Dave Page committed 2018-06-15 09:14:12 +01:00
1 parent 96544424dd
commit 1a6b6f61f7
86 files changed
+258 -258
Download Patch File Download Diff File Expand all files Collapse all files

No files matched your search

docs/en_US/developer_tools.rst
+3 -3
View File
@@ -1,8 +1,8 @@
.. _developer_tools:
***************
Developer Tools
***************
************************
`Developer Tools`:index:
************************
The pgAdmin *Tools* menu displays a list of powerful developer tools that you can use to execute and analyze complex SQL commands, manage data, and debug PL/SQL code.