summaryrefslogtreecommitdiff
path: root/extra/gnome-mines
diff options
context:
space:
mode:
authorMichał Masłowski <mtjm@mtjm.eu>2013-08-20 17:19:41 +0200
committerMichał Masłowski <mtjm@mtjm.eu>2013-08-20 17:19:41 +0200
commit14961717e45df939b97029847f757cd307a65b3b (patch)
tree0b559fec10176f61121235b0acdc90f7b0d772e6 /extra/gnome-mines
parentf637c76f55c991bd426617806879a8cf7b7d3f4d (diff)
Build mariadb without bison.
Diffstat (limited to 'extra/gnome-mines')
0 files changed, 0 insertions, 0 deletions