User Tools

Site Tools


start

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision Both sides next revision
start [2016/04/24 07:56]
lionelsambuc old revision restored (2016/04/15 01:39)
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]]
 +  * [[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   * [[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]])
start.txt ยท Last modified: 2021/07/10 15:02 by dcvmoole