Mise à jour Dev Tools

Apple vient de mettre en ligne une mise à jour pour les dev tools livrés avec Jaguar. Nommée August 2002 Dev Tools 10.2 Update, elle corrige quelques bugs liés à gcc, gdb, et Interface Builder. Apple recommande donc aux développeurs d'extensions de recompiler leurs kexts.