Skip to content

History / Idris on Fedora

Edit page New page

Revisions

  • update Fedora instructions

    @juhp juhp committed Jun 27, 2018
    d23410c

  • Updated Idris on Fedora (markdown)

    @dcci dcci committed Oct 21, 2016
    8da169f

  • Created Idris on Fedora (markdown)

    @juhp juhp committed Sep 16, 2014
    f071e2b