# HG changeset patch # User Goffi # Date 1255985601 -7200 # Node ID 3c1cefd411865997b4038b49e93178d9fcb40eb5 # Parent 0208f9ac426a0392e9546ccedef4c29efe6751c7 added sat executable added twistd.log to .hgignore diff -r 0208f9ac426a -r 3c1cefd41186 .hgignore --- a/.hgignore Mon Oct 19 22:52:10 2009 +0200 +++ b/.hgignore Mon Oct 19 22:53:21 2009 +0200 @@ -3,3 +3,4 @@ *.swp *.swo tags +twistd.log diff -r 0208f9ac426a -r 3c1cefd41186 sat --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/sat Mon Oct 19 22:53:21 2009 +0200 @@ -0,0 +1,3 @@ +#!/bin/sh +twistd -noy sat.tac +