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
Marge Bot <ben+marge-bot@smart-cactus.org>Apr 21 2019, 8:07 AM
Parents
rGHC983c53c3da7a: gitlab-ci: Do not build profiled libraries on 32-bit Windows
Branches
Unknown
Tags
Unknown
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC5cf771f35f92: users-guide: Add pretty to package list (authored by bgamari).Apr 21 2019, 8:07 AM