diff options
| author | Pino Toscano <toscano.pino@tiscali.it> | 2013-03-16 19:32:28 +0100 |
|---|---|---|
| committer | Pino Toscano <toscano.pino@tiscali.it> | 2013-03-16 19:32:28 +0100 |
| commit | 306f359688afa254dc8728c73afab0fdb33d39ab (patch) | |
| tree | 25520c9bec7bf51ea5cb4567ec2e1f51c3d4d7ca /faq/debian | |
| parent | 5bd8b6944145fd898a6a9c0427743aed8740a8e7 (diff) | |
drop the gnat gsoc project idea
gnat has been ported recently, so a whole gsoc on it is not needed anymore
Diffstat (limited to 'faq/debian')
0 files changed, 0 insertions, 0 deletions