Giters

MariaDB / mergetrees

Helper repository for packages that we merge at release points without preserving the history

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

Helper repository for packages that we merge at release points without preserving the history

Languages

Language:C 85.8%Language:C++ 13.6%Language:Yacc 0.3%Language:Lex 0.2%Language:CMake 0.1%Language:Shell 0.1%