summaryrefslogtreecommitdiff
path: root/community/ginac
diff options
context:
space:
mode:
authorOmar Vega Ramos <ovruni@gnu.org.pe>2012-12-23 19:20:57 -0500
committerOmar Vega Ramos <ovruni@gnu.org.pe>2012-12-23 19:20:57 -0500
commit219ce6e3a681644b9ed74ca95695e208f1f05b4a (patch)
tree81e60ceedbaae52539189b184c791a16688b4487 /community/ginac
parent89ca7e940291cf9fced7789dfdd0ce9f98152eed (diff)
Fix mp3info build
Diffstat (limited to 'community/ginac')
0 files changed, 0 insertions, 0 deletions