diff options
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/categories | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/profiles/categories b/profiles/categories index 38c17efc234c..74c110fe75b9 100644 --- a/profiles/categories +++ b/profiles/categories @@ -29,6 +29,7 @@ dev-php dev-python dev-ruby dev-tcltk +dev-tex dev-util gnome-base gnome-extra |