diff options
| -rw-r--r-- | docs/contributing/development.rst | 2 | 
1 files changed, 1 insertions, 1 deletions
| diff --git a/docs/contributing/development.rst b/docs/contributing/development.rst index ab03a300..4b762051 100644 --- a/docs/contributing/development.rst +++ b/docs/contributing/development.rst @@ -61,7 +61,7 @@ You can make a pull request on `github.com/vyos`_.  .. _github.com/vyos: https://github.com/vyos  Find the package -================== +^^^^^^^^^^^^^^^^  Suppose you want to make a change in the webproxy script.  You can find its package with "dpkg -S": | 
