Permalink
Commits on Aug 25, 2018
  1. Merge branch '0.4-maintenance' into 0.5-maintenance

    dahlia committed Aug 25, 2018
  2. Merge pull request #326 from dahlia/trim-werror

    dahlia committed Aug 25, 2018
    Trim -Werror option before uploading to Hackage
  3. Trim -Werror option before uploading to Hackage

    dahlia committed Aug 25, 2018
    Fix #325
    
    [changelog skip]
Commits on Aug 21, 2018
  1. Merge pull request #324 from qria/highlight-nirum

    dahlia committed Aug 21, 2018
    Add nirum syntax highlighting to docs target
Commits on Aug 18, 2018
  1. Merge pull request #322 from earlbread/fix-toml-encoding

    dahlia committed Aug 18, 2018
    Open package.toml file with UTF8 locale
Commits on Aug 17, 2018
  1. Merge pull request #271 from earlbread/add-numeric-constraints

    dahlia committed Aug 17, 2018
    Add numeric-constraints annotation
  2. Adjust docs & changelog for PR #271

    dahlia committed Aug 17, 2018
  3. Merge pull request #270 from jckdotim/265-editorconfig

    dahlia committed Aug 17, 2018
    Add .editorconfig
    
    [ci skip]
    [changelog skip]
  4. Merge pull request #321 from lqez/master

    dahlia committed Aug 17, 2018
    Add anchor links to headings
  5. Added missing links to issues in the changelog

    dahlia committed Aug 17, 2018
    [ci skip]
  6. Merge pull request #318 from tempKDW/add-missing-builtins-module-for-…

    dahlia committed Aug 17, 2018
    …catching-python-exception
    
    Add missing to use builtins in python template
  7. Changelog for PR #318

    dahlia committed Aug 17, 2018
  8. Merge pull request #312 from dahlia/docs-version

    dahlia committed Aug 17, 2018
    Make version on docs visually distinct from package name
  9. Merge pull request #315 from tempKDW/fix-typo-on-shapes-doc

    dahlia committed Aug 17, 2018
    Fix typo in shapes.nrm
    
    [changelog skip]
  10. Make version visually distinct [changelog skip]

    dahlia committed Aug 16, 2018
  11. Merge pull request #314 from tempKDW/fix-double-lining-for-empty-ele

    dahlia committed Aug 17, 2018
    Fix two separators being sticked together on docs
    
    [changelog skip]
Commits on Aug 16, 2018
  1. Merge pull request #311 from qria/highlight

    dahlia committed Aug 16, 2018
    Add syntax highlighting for doc target
  2. Merge pull request #305 from Ephemera/add-opengraph-metadata

    dahlia committed Aug 16, 2018
    Added `opengraphs` option for open graph tags on docs
Commits on Aug 15, 2018
  1. Merge pull request #308 from AlanSynn/master

    dahlia committed Aug 15, 2018
    Fixed typo on some docs  [ci skip]
  2. Merge pull request #306 from Ephemera/patch-1

    dahlia committed Aug 15, 2018
    Fixed typo  [ci skip]
  3. Merge pull request #304 from JeongUkJae/master

    dahlia committed Aug 15, 2018
    Show package's version on generated docs
Commits on Aug 14, 2018
  1. Fix a link to GitHub on nirum.org website

    dahlia committed Aug 14, 2018
    [changelog skip]
  2. Merge branch '0.4-maintenance'

    dahlia committed Aug 14, 2018
  3. Merge branch '0.3-maintenance' into 0.4-maintenance

    dahlia committed Aug 14, 2018
  4. Moved the Git repository

    dahlia committed Aug 14, 2018
  5. Merge pull request #294 from dahlia/docs

    dahlia committed Aug 14, 2018
    Build the nirum.org website using docs target
  6. Build and upload website (nirum.org)

    dahlia committed Aug 13, 2018
    Close #142
Commits on Aug 13, 2018
  1. Order ToC by dir depth

    dahlia committed Aug 13, 2018
  2. style/header/footer options

    dahlia committed Aug 13, 2018
Commits on Aug 10, 2018
  1. Merge pull request #292 from dahlia/docs

    dahlia committed Aug 10, 2018
    Docs: manual pages
Commits on Aug 8, 2018
  1. Links to internal docs

    dahlia committed Aug 8, 2018