G

add a command to rename a profile

jp profile rename [new_name] would be nice
id

145

author

Goffi

created

14/08/2016, 15:36

updated

14/08/2016, 15:41

labels
jp
type
bug
status
queued
priority
normal
milestone
0.7
severity
normal