Commits on Jan 12, 2016

1. Change Trovebox -> Octave Online …

   As of March 31, 2015, Trovebox has [shut down](https://en.wikipedia.org/wiki/Trovebox).  I suggest we change the link to [Octave Online](http://octave-online.net).  I am the author of Octave Online, and we have over 3,000 users who have signed in with Mozilla Persona.

   

   vote539 committed Jan 12, 2016
   Configuration menu

   • View commit details
   • Copy full SHA for d7a193f
   • Browse repository at this point

   Copy the full SHA

   d7a193f View commit details

   Browse the repository at this point in the history