Name: linuxdoc-tools
Contact: Agustin Martin Domingo <agustin6martin@gmail.com>
Repository: https://gitlab.com/agmartin/linuxdoc-tools.git
Repository-Browse: https://gitlab.com/agmartin/linuxdoc-tools
Bug-Database: https://gitlab.com/agmartin/linuxdoc-tools/issues
Bug-Submit: https://gitlab.com/agmartin/linuxdoc-tools/issues
