Slave dispatching working
authorAdam Chlipala <adamc@hcoop.net>
Sun, 3 Sep 2006 22:27:30 +0000 (22:27 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sun, 3 Sep 2006 22:27:30 +0000 (22:27 +0000)

No differences found