increase quota of hets-ppa
Asked by
Christian Maeder
Hi, can we get 1 GB more space for https:/
Putting up isabelle-2011-1 filled it up recently.
Cheers Christian
Question information
- Language:
- English Edit question
- Status:
- Solved
- Assignee:
- No assignee Edit question
- Solved by:
- Matthew Revell
- Solved:
- Last query:
- Last reply:
To post a message you must log in.