Class CygwinShell

java.lang.Object
org.tweetyproject.commons.util.Shell
org.tweetyproject.commons.util.CygwinShell

public class CygwinShell extends Shell
Cygwin shell.
Author:
Nils Geilen, Matthias Thimm