?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Merge pull request #18 from jwillemsen/master
[MPC.git] / config / gsl.mpb
blob3fee0029bd7746e9033e342a90203a8be5c31a32
1 // -*- MPC -*-
2 feature(gsl) {
3   lit_libs += gsl
4 }