diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-10-20 11:41:39 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-10-20 11:41:39 -0700 |
| commit | 5e4e815d107de3b24de7804e31d4411f005ee995 (patch) | |
| tree | 4e318c3b00fb41e3d47ee2de94cd3a721be8715a /abcexe.dsp | |
| parent | d22cb3f451a41af10f298e7c906921b874f3d4a6 (diff) | |
| download | abc-5e4e815d107de3b24de7804e31d4411f005ee995.tar.gz abc-5e4e815d107de3b24de7804e31d4411f005ee995.tar.bz2 abc-5e4e815d107de3b24de7804e31d4411f005ee995.zip | |
Fixing accidental change in the project file.
Diffstat (limited to 'abcexe.dsp')
| -rw-r--r-- | abcexe.dsp | 4 |
1 files changed, 0 insertions, 4 deletions
@@ -90,10 +90,6 @@ LINK32=link.exe SOURCE=.\src\base\main\main.c # End Source File -# Begin Source File - -SOURCE=.\src\proof\ssw\sswSat.c -# End Source File # End Group # Begin Group "Header Files" |