diff options
| author | Pali Rohár <pali.rohar@gmail.com> | 2012-08-09 16:07:48 +0200 |
|---|---|---|
| committer | Pali Rohár <pali.rohar@gmail.com> | 2012-08-09 16:07:48 +0200 |
| commit | b4cbab6774acf47bb6173911a865dfb4d4ce869c (patch) | |
| tree | 57c7621bdaa8da6d2eb94144c9b4538e508a3a33 /src/main2.h | |
| parent | 366680af1b1476ac26dcbbe888d89f7012fd0c01 (diff) | |
| download | 0xFFFF-b4cbab6774acf47bb6173911a865dfb4d4ce869c.tar.bz2 | |
main: Implement more options
Diffstat (limited to 'src/main2.h')
| -rw-r--r-- | src/main2.h | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/main2.h b/src/main2.h deleted file mode 100644 index 312cc55..0000000 --- a/src/main2.h +++ /dev/null @@ -1,4 +0,0 @@ - -extern int simulate; -extern int noverify; -extern int verbose; |