Skip to content
Snippets Groups Projects
Select Git revision
  • c5b2a24aa7b0ff25e4ba74321adea55085b83909
  • main default protected
  • simp
3 results

.ghci

Blame
  • Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    .ghci 81 B
    :set -fwarn-unused-binds -fwarn-unused-imports
    :set -isrc -itest/src
    :load Main