--- /dev/null
+Microsoft Visual Studio Solution File, Format Version 7.00\r
+Project("{8BC9CEB8-8B4A-11D0-8D11-00A0C91BC942}") = "Splint", "Splint.vcproj", "{E57CAD42-5E8E-445E-865A-965282EFA565}"\r
+EndProject\r
+Global\r
+ GlobalSection(SolutionConfiguration) = preSolution\r
+ ConfigName.0 = Debug\r
+ ConfigName.1 = Release\r
+ ConfigName.2 = Test\r
+ EndGlobalSection\r
+ GlobalSection(ProjectDependencies) = postSolution\r
+ EndGlobalSection\r
+ GlobalSection(ProjectConfiguration) = postSolution\r
+ {E57CAD42-5E8E-445E-865A-965282EFA565}.Debug.ActiveCfg = Debug|Win32\r
+ {E57CAD42-5E8E-445E-865A-965282EFA565}.Debug.Build.0 = Debug|Win32\r
+ {E57CAD42-5E8E-445E-865A-965282EFA565}.Release.ActiveCfg = Release|Win32\r
+ {E57CAD42-5E8E-445E-865A-965282EFA565}.Release.Build.0 = Release|Win32\r
+ {E57CAD42-5E8E-445E-865A-965282EFA565}.Test.ActiveCfg = Test|Win32\r
+ {E57CAD42-5E8E-445E-865A-965282EFA565}.Test.Build.0 = Test|Win32\r
+ EndGlobalSection\r
+ GlobalSection(ExtensibilityGlobals) = postSolution\r
+ EndGlobalSection\r
+ GlobalSection(ExtensibilityAddIns) = postSolution\r
+ EndGlobalSection\r
+EndGlobal\r