This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
start [2016/02/10 11:43] dcvmoole [Resources] #minix -> #minix-dev |
start [2017/01/28 17:44] dcvmoole Resources: add github link |
||
---|---|---|---|
Line 34: | Line 34: | ||
===== Resources ===== | ===== Resources ===== | ||
+ | * [[http://www.minix3.org|Website]] | ||
* [[http://www.minix3.org/news|News]] | * [[http://www.minix3.org/news|News]] | ||
* [[http://twitter.com/minix3|Twitter]] | * [[http://twitter.com/minix3|Twitter]] | ||
- | * [[http://www.minix3.org|Website]] | ||
* [[http://git.minix3.org/?p=minix.git|Git repository]] | * [[http://git.minix3.org/?p=minix.git|Git repository]] | ||
- | * [[http://groups.google.com/group/minix3|Google Group]] | + | * [[https://github.com/Stichting-MINIX-Research-Foundation/minix/|GitHub page, including source code mirror, bug/issue tracker, and pull requests tracker]] |
+ | * [[http://groups.google.com/group/minix3|Google Group]] - [[googlegroup-emailinterface|instructions]] to subscribe through e-mail | ||
* [[irc://irc.freenode.net/minix|IRC, general chat: #minix on Freenode]] ([[http://webchat.freenode.net/?channels=minix|Web version]]) | * [[irc://irc.freenode.net/minix|IRC, general chat: #minix on Freenode]] ([[http://webchat.freenode.net/?channels=minix|Web version]]) | ||
* [[irc://irc.freenode.net/minix-dev|IRC, MINIX3 development: #minix-dev on Freenode]] ([[http://webchat.freenode.net/?channels=minix-dev|Web version]]) | * [[irc://irc.freenode.net/minix-dev|IRC, MINIX3 development: #minix-dev on Freenode]] ([[http://webchat.freenode.net/?channels=minix-dev|Web version]]) |