Skip to content

GitLab Next

  • Menu
Projects Groups Snippets
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register
  • CollectiveTyranny CollectiveTyranny
  • Group information
    • Group information
    • Activity
    • Labels
    • Members
  • Issues 0
    • Issues 0
    • List
    • Board
    • Milestones
  • Merge requests 0
    • Merge requests 0
  • Packages & Registries
    • Packages & Registries
    • Package Registry
Collapse sidebar
  • CollectiveTyranny
  • Merge requests
  • Open 0
  • Merged 1
  • Closed 0
  • All 1
  • build: add install targets; use GNUInstallDirs; other fixes
    pluto!1 · created Jul 24, 2016 by Igor Raits
    • MERGED
    • 0
    updated Jul 27, 2016