summaryrefslogtreecommitdiff
path: root/debian/dafny.manpages
diff options
context:
space:
mode:
Diffstat (limited to 'debian/dafny.manpages')
-rw-r--r--debian/dafny.manpages1
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/dafny.manpages b/debian/dafny.manpages
new file mode 100644
index 00000000..212653e4
--- /dev/null
+++ b/debian/dafny.manpages
@@ -0,0 +1 @@
+debian/dafny.1