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 |