mirror of
https://github.com/jgm/pandoc.git
synced 2026-10-29 17:52:33 +08:00
weeder.dhall -> weeder.toml
This commit is contained in:
+1
-1
@@ -40,7 +40,7 @@
|
||||
!release.nix
|
||||
!shell.nix
|
||||
!stack.yaml
|
||||
!weeder.dhall
|
||||
!weeder.toml
|
||||
!app/**
|
||||
!benchmark/**
|
||||
!citeproc/**
|
||||
|
||||
@@ -1 +0,0 @@
|
||||
{ roots = [ "^Main.main$", "^Paths_.*$" ] , type-class-roots = True }
|
||||
@@ -0,0 +1,2 @@
|
||||
roots = [ "^Main.main$", "^Paths_.*$" ]
|
||||
type-class-roots = true
|
||||
Reference in New Issue
Block a user