Skip to content
Snippets Groups Projects
  1. Jun 13, 2017
    • Giovanni Bussi's avatar
      Reorganization of manual source files · 7b93c5a7
      Giovanni Bussi authored
      I renamed all files from .txt to .md so that they can be
      visualized on github.
      
      In addition, I renamed all files to have a name consistent with the content.
      This makes manual portions easier to find.
      
      Notice that I left the original labels (e.g. "Syntax" instead of "Getting Started")
      not to break direct links to manual, though I think we should rationalize these names
      as well.
      
      [makedoc]
      7b93c5a7
  2. Jun 12, 2017
  3. Jun 10, 2017
  4. Jun 09, 2017
  5. Jun 08, 2017
  6. Jun 07, 2017
  7. Jun 06, 2017
Loading