Remove ghctags (#16274)

Authored by hsyl20 on Feb 6 2019, 6:02 PM.

Description

Remove ghctags (Trac #16274)

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Feb 10 2019, 1:39 AM
Parents
rGHC53a870f4a435: Make CI via Hadrian build docs
Branches
Unknown
Tags
Unknown
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC027017fb3392: Remove ghctags (#16274) (authored by hsyl20).Feb 10 2019, 1:39 AM