regular commit
Merge branch 'gh-pages' of github.com:gto76/fri into gh-pages
regular commit
regular commit
regular commit