mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-02-25 18:55:31 -06:00
Doc restructuring
This commit is contained in:
14
docs/en_US/developer_tools.rst
Normal file
14
docs/en_US/developer_tools.rst
Normal file
@@ -0,0 +1,14 @@
|
||||
.. _developer_tools:
|
||||
|
||||
***************
|
||||
Developer Tools
|
||||
***************
|
||||
|
||||
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.
|
||||
|
||||
Contents:
|
||||
|
||||
.. toctree::
|
||||
|
||||
debugger
|
||||
query_tool
|
Reference in New Issue
Block a user