diff options
| author |   Raúl Porcel <armin76@gentoo.org> | 2014-08-20 11:55:42 +0000 |
|---|---|---|
| committer | Raúl Porcel <armin76@gentoo.org> | 2014-08-20 11:55:42 +0000 |
| commit | 7e140a2be832c1fad001d327c9d8856b6b2dfb29 (patch) | |
| tree | ecdef8257c57dc3ed9d89e2326c0fba833d75fc2 /dev-util/nvidia-cuda-toolkit | |
| parent | Version bump (with, unfortunately, pulseaudio being a hardcoded dependency) (diff) | |
| download | gentoo-2-7e140a2be832c1fad001d327c9d8856b6b2dfb29.tar.gz gentoo-2-7e140a2be832c1fad001d327c9d8856b6b2dfb29.tar.bz2 gentoo-2-7e140a2be832c1fad001d327c9d8856b6b2dfb29.zip | |
Move ocamlopt from p.use.mask to use.mask as instructed in bug #430352
Diffstat (limited to 'dev-util/nvidia-cuda-toolkit')
0 files changed, 0 insertions, 0 deletions