summaryrefslogtreecommitdiff
path: root/packages/glpk
diff options
context:
space:
mode:
authorAlberto Ruiz <aruiz@um.es>2014-05-14 14:18:30 +0200
committerAlberto Ruiz <aruiz@um.es>2014-05-14 14:18:30 +0200
commitd46df392d07779fd83b01b0e9e71e5e17a36567a (patch)
tree605d0ea93101e11a72ce464825def7a499f852a6 /packages/glpk
parent551cf7498c33bc0948bb4cb8444ae6f8af7278ea (diff)
undeprecate dot, fix <.>
Diffstat (limited to 'packages/glpk')
0 files changed, 0 insertions, 0 deletions