diff options
| author | Javier Jardón <jjardon@gnome.org> | 2019-11-29 23:37:27 +0900 |
|---|---|---|
| committer | Javier Jardón <jjardon@gnome.org> | 2020-01-15 20:53:38 +0900 |
| commit | d1171bc63eb0aabfb72be9ceca228a296a411440 (patch) | |
| tree | fb7322872eb24dd51a1ec480931b22ad53910531 /doc/source/core_plugins.rst | |
| parent | e3fde756567166c7ed2fdcacd883ae3b0530e909 (diff) | |
| download | buildstream-jjardon/deb_plugin_remove.tar.gz | |
Remove "deb" dource pluginjjardon/deb_plugin_remove
This has been moved to a external repo
Diffstat (limited to 'doc/source/core_plugins.rst')
| -rw-r--r-- | doc/source/core_plugins.rst | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/source/core_plugins.rst b/doc/source/core_plugins.rst index 682c9970f..70691672b 100644 --- a/doc/source/core_plugins.rst +++ b/doc/source/core_plugins.rst @@ -49,7 +49,6 @@ Sources sources/git sources/bzr sources/patch - sources/deb sources/pip |