diff options
author | Silvio Rhatto <rhatto@riseup.net> | 2017-08-19 09:03:00 -0300 |
---|---|---|
committer | Silvio Rhatto <rhatto@riseup.net> | 2017-08-19 09:03:00 -0300 |
commit | c4aa80a8be76e08f510f6fad6395a6af2ee80cf2 (patch) | |
tree | e25034db7f71726adcebb31c9925bb9dc13a0ef4 /manifests/utils/development/ide.pp | |
parent | 7123c0ad4a648c4cde242a8cbce4d78885ca71b8 (diff) | |
download | puppet-nodo-c4aa80a8be76e08f510f6fad6395a6af2ee80cf2.tar.gz puppet-nodo-c4aa80a8be76e08f510f6fad6395a6af2ee80cf2.tar.bz2 |
Do not use sagemath right now
Diffstat (limited to 'manifests/utils/development/ide.pp')
0 files changed, 0 insertions, 0 deletions