diff options
| author |  tabarbe <unknown> | 2010-07-14 18:33:26 +0000 |
|---|---|---|
| committer | tabarbe <unknown> | 2010-07-14 18:33:26 +0000 |
| commit | 70fc20db251bff5c2cdfb210c40a594c94192c92 (patch) | |
| tree | 9232930b3143619aa60c06da5c787d8861a56997 /Source | |
| parent | d1f8f74e008dbd3ad340ee695790c96098c80c5f (diff) | |
Boogie/Isabelle && Boogie/BoogieDriver: Moved the AssemblyInfo.cs files into the required subfolders.
Diffstat (limited to 'Source')
| -rw-r--r-- | Source/BoogieDriver/Properties/AssemblyInfo.cs (renamed from Source/BoogieDriver/AssemblyInfo.cs) | 0 | ||||
| -rw-r--r-- | Source/Provers/Isabelle/Properties/AssemblyInfo.cs (renamed from Source/Provers/Isabelle/AssemblyInfo.cs) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/Source/BoogieDriver/AssemblyInfo.cs b/Source/BoogieDriver/Properties/AssemblyInfo.cs index 6ed99a25..6ed99a25 100644 --- a/Source/BoogieDriver/AssemblyInfo.cs +++ b/Source/BoogieDriver/Properties/AssemblyInfo.cs diff --git a/Source/Provers/Isabelle/AssemblyInfo.cs b/Source/Provers/Isabelle/Properties/AssemblyInfo.cs index ac99974f..ac99974f 100644 --- a/Source/Provers/Isabelle/AssemblyInfo.cs +++ b/Source/Provers/Isabelle/Properties/AssemblyInfo.cs |