From 555eb86acf07ce72721e98b5e42574a0cb4111bf Mon Sep 17 00:00:00 2001 From: Lionel Date: Mon, 5 Nov 2018 14:44:19 +0100 Subject: More convenient format for man pages --- randopitons.7.gz | Bin 0 -> 466 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 randopitons.7.gz diff --git a/randopitons.7.gz b/randopitons.7.gz new file mode 100644 index 0000000..7b6feff Binary files /dev/null and b/randopitons.7.gz differ -- cgit v1.2.3-70-g09d2