diff options
| author | Javier Jardón <jjardon@gnome.org> | 2019-11-23 00:51:56 +0900 |
|---|---|---|
| committer | Javier Jardón <jjardon@gnome.org> | 2020-01-17 04:20:09 +0000 |
| commit | 45507ccc97bed1fce5749ae0c01c098a8ecd265c (patch) | |
| tree | 6651e729b48280c498de1bf370b12f2907f08a6c /doc | |
| parent | a5b2396539e1621eef75a035b12c1c4266b5c9fe (diff) | |
| download | buildstream-45507ccc97bed1fce5749ae0c01c098a8ecd265c.tar.gz | |
Remove "deb" surce plugin, it has beem moved to bst-plugins-experimentaljjardon/move_deb_source
Diffstat (limited to 'doc')
| -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 |