Skip to content
GitLab
Projects Groups Topics Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • C CoPaR
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributor statistics
    • Graph
    • Compare revisions
  • Issues 4
    • Issues 4
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 5
    • Merge requests 5
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • Repository
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • Software
  • CoPaR
  • Merge requests
  • !25

Remove PrettyPrint

  • Review changes

  • Download
  • Patches
  • Plain diff
Merged Bastian Kauschke requested to merge remove-pretty into master May 25, 2020
  • Overview 5
  • Commits 4
  • Pipelines 4
  • Changes 11

PrettyPrint has been made obsolete by Printable.

This MR removes it and updates SortsSpec to use SomeFunctor.

Edited May 25, 2020 by Bastian Kauschke
Assignee
Assign to
Reviewers
Request review from
Time tracking
Source branch: remove-pretty