diff options
author | Johannes Ranke <jranke@uni-bremen.de> | 2015-07-17 09:50:43 +0200 |
---|---|---|
committer | Johannes Ranke <jranke@uni-bremen.de> | 2015-07-17 09:50:43 +0200 |
commit | c116ef8a2d0310e7474b0499e96981e9c68bdd84 (patch) | |
tree | 6b2a7f021bf1f7f9e2cc01965d4dc02f55525b78 /man/DFOP.solution.Rd | |
parent | 3ee94b79cc213d2881038bf14911d51c7572e59a (diff) |
Add badge, as seen in the gaborcsardi/pkgconfig repo
Diffstat (limited to 'man/DFOP.solution.Rd')
0 files changed, 0 insertions, 0 deletions