# HG changeset patch
# User HackBot
# Date 1397392329 0
# Node ID b60f757a8d0afa47b49eeba8c05d96f7e4d9d8cd
# Parent  1b7e4031b2301521478aab00fdd1ee0bcb5b4aee
<oerjan> (echo \'#!/bin/bash\'; echo \'echo "$@" | dc -e "1k?32-5*9/p"\') > bin/sanetemp; chmod +x bin/sanetemp

diff -r 1b7e4031b230 -r b60f757a8d0a bin/sanetemp
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bin/sanetemp	Sun Apr 13 12:32:09 2014 +0000
@@ -0,0 +1,2 @@
+#!/bin/bash
+echo "$@" | dc -e "1k?32-5*9/p"