diff src/sat.sh @ 223:86d249b6d9b7

Files reorganisation
author Goffi <goffi@goffi.org>
date Wed, 29 Dec 2010 01:06:29 +0100
parents sat@9face609f83c
children fd9b7834d98a
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/sat.sh	Wed Dec 29 01:06:29 2010 +0100
@@ -0,0 +1,3 @@
+#!/bin/sh
+twistd -noy sat.tac
+