diff options
| author |   Mike Frysinger <vapier@gentoo.org> | 2006-11-12 04:21:01 +0000 |
|---|---|---|
| committer | Mike Frysinger <vapier@gentoo.org> | 2006-11-12 04:21:01 +0000 |
| commit | eb97006e460aaf605a355363d3e494e35fc6c2c3 (patch) | |
| tree | 081e6a10f8cfaccb392c9a29f943ee772603541a /profiles/default-linux/sh | |
| parent | arm stable #134320 (diff) | |
| download | historical-eb97006e460aaf605a355363d3e494e35fc6c2c3.tar.gz historical-eb97006e460aaf605a355363d3e494e35fc6c2c3.tar.bz2 historical-eb97006e460aaf605a355363d3e494e35fc6c2c3.zip | |
+ocaml
Diffstat (limited to 'profiles/default-linux/sh')
| -rw-r--r-- | profiles/default-linux/sh/use.mask | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/profiles/default-linux/sh/use.mask b/profiles/default-linux/sh/use.mask index c65d2643455f..9d0a0240d803 100644 --- a/profiles/default-linux/sh/use.mask +++ b/profiles/default-linux/sh/use.mask @@ -38,6 +38,7 @@ eds firefox nvtv xine +ocaml # Luca Longinotti <chtekk@gentoo.org> # mask Oracle |