diff options
Diffstat (limited to 'profiles/stable')
| -rw-r--r-- | profiles/stable | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/profiles/stable b/profiles/stable index 9807c70e2e..ba2906d066 100644 --- a/profiles/stable +++ b/profiles/stable @@ -1,3 +1 @@ main -extras/JavaBinding -extras/BooBinding |