欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
GNU Savannah
来自开放百科 - 灰狐
(版本间的差异)
第1行: | 第1行: | ||
+ | {{top news}} | ||
{{SeeWikipedia}} | {{SeeWikipedia}} | ||
2010年9月27日 (一) 03:20的版本
您可以在Wikipedia上了解到此条目的英文信息 GNU Savannah Thanks, Wikipedia. |
Savane is a Web-based Software hosting system. It includes issue tracking (bugs, tasks, support, news and documentation), project member management by roles and individual account maintenance.
It is written in PHP and Perl and is designed to run with Apache and MySQL.
Users
分享您的观点