rpm: corrected dist for CentOS 7.4 to match established naming.
3 files changed
tree: c35023eea5fc22d6899a23e743d771db269138cd
  1. debian/
  2. rpm/
  3. .hgtags
  4. build_module.sh