users-guide: Add pretty to package list

Authored by bgamari on Apr 6 2019, 11:26 AM.

Description

users-guide: Add pretty to package list

Details

Committed
bgamariApr 17 2019, 9:57 AM
Parents
rGHC7ccdb7de2d03: gitlab-ci: Backport from master
Branches
Unknown
Tags
Unknown