diff options
| -rw-r--r-- | manifests/utils/development/ide.pp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manifests/utils/development/ide.pp b/manifests/utils/development/ide.pp index 4e62c2b..78636a8 100644 --- a/manifests/utils/development/ide.pp +++ b/manifests/utils/development/ide.pp @@ -1,5 +1,5 @@ class nodo::utils::development::ide { - package { [ 'exuberant-ctags', 'mr', 'doxygen', 'agave', 'hexedit', 'ack-grep', 'markdown' ]: + package { [ 'exuberant-ctags', 'mr', 'doxygen', 'agave', 'hexedit', 'ack-grep', 'markdown', 'python-sphinx' ]: ensure => installed, } |