minor change

arzwa · May 9, 2019 · 4c24434 · 4c24434
1 parent f8d0973
commit 4c24434
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 51 deletions.
diff --git a/example/coffee-test.lst b/example/coffee-test.lst
diff --git a/example/coffee.nw b/example/coffee.nw
diff --git a/example/wmi-gnesperm.nw b/example/wmi-gnesperm.nw
diff --git a/example/wmi.conf b/example/wmi.conf