From 1b60fb26391e6645d18ddb8e42fb3d41de398a78 Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Thu, 11 Feb 2016 12:35:31 +0200 Subject: Setup manual infra --- doc/doc.html2ps | 1 + 1 file changed, 1 insertion(+) create mode 120000 doc/doc.html2ps (limited to 'doc/doc.html2ps') diff --git a/doc/doc.html2ps b/doc/doc.html2ps new file mode 120000 index 0000000..dc19855 --- /dev/null +++ b/doc/doc.html2ps @@ -0,0 +1 @@ +style/doc.html2ps \ No newline at end of file -- cgit v1.1