diff options
author | wiz <wiz> | 2015-07-11 16:43:33 +0000 |
---|---|---|
committer | wiz <wiz> | 2015-07-11 16:43:33 +0000 |
commit | dfb23a0f9ef30dd4add569468e58dbbdad5da0a0 (patch) | |
tree | 3c18858a872161b095cc711184be33ea706e05db /math/wxmaxima/Makefile | |
parent | 898243bd495ad2128d952b27268c46ec4b22b172 (diff) | |
download | pkgsrc-dfb23a0f9ef30dd4add569468e58dbbdad5da0a0.tar.gz |
Add options.mk file for gnome option, for later.
This is missing a gnome-online-accounts dependency.
However, that package depends on webkit-gtk-2.8.x which is currently
only in wip.
Diffstat (limited to 'math/wxmaxima/Makefile')
0 files changed, 0 insertions, 0 deletions