| File | Mode | Size |
|---|---|---|
| Properties | ||
| Clousot.csproj | -rw-r--r-- | 13.3 KB |
| Clousot.exe.config | -rw-r--r-- | 249 bytes |
| Clousot.ico | -rw-r--r-- | 90.0 KB |
| Main.cs | -rw-r--r-- | 2.9 KB |
| app.config | -rw-r--r-- | 167 bytes |
| File | Mode | Size |
|---|---|---|
| Properties | ||
| Clousot.csproj | -rw-r--r-- | 13.3 KB |
| Clousot.exe.config | -rw-r--r-- | 249 bytes |
| Clousot.ico | -rw-r--r-- | 90.0 KB |
| Main.cs | -rw-r--r-- | 2.9 KB |
| app.config | -rw-r--r-- | 167 bytes |