Skip to content

History / Pragmas (#set options, #reset options)

Edit page New page

Revisions

  • recommend push/pop instead of set/reset

    @mtzguido mtzguido committed Jun 25, 2019
    8121571

  • Updated Pragmas (#set options, #reset options) (markdown)

    @mtzguido mtzguido committed Jun 24, 2019
    23783e6

  • Updated Pragmas (#set options, #reset options) (markdown)

    @mtzguido mtzguido committed Jun 24, 2019
    e3b65b6

  • Updated to reflect changes after PR #1774

    @mtzguido mtzguido committed Jun 24, 2019
    3860430

  • Updated Pragmas (#set options, #reset options) (markdown)

    @kkohbrok kkohbrok committed Jun 5, 2019
    a513b89

  • Updated Pragmas (#set options, #reset options) (markdown)

    @s-zanella s-zanella committed Apr 13, 2017
    a658214

  • Updated Pragmas (#set options, #reset options) (markdown)

    @s-zanella s-zanella committed Aug 25, 2016
    6460ca4

  • Updated Pragmas (#set options, #reset options) (markdown)

    @s-zanella s-zanella committed Aug 25, 2016
    9ce7bb6

  • Updated Pragmas (#set options, #reset options) (markdown)

    @s-zanella s-zanella committed Aug 25, 2016
    ab6d679

  • Created Pragmas (#set-options, #reset-options) (markdown)

    @s-zanella s-zanella committed Aug 25, 2016
    daa00a2