Pretty: delete really old changelog

Authored by thomie on Jul 11 2016, 10:59 AM.

Description

Pretty: delete really old changelog

This changelog is very incomplete, and basically useless. I'm removing
it, because it made it harder to compare this copy of Pretty.hs with
the copy in libraries/pretty (from which a similar changelog was
deleted some time ago).

Details