singrdk/base/build/boogie.exe.config

12 lines
336 B
Plaintext

<!-- boogie.exe.config -->
<configuration>
<runtime>
<assemblyBinding xmlns="urn:schemas-microsoft-com:asm.v1">
<probing privatePath="boogie"/>
</assemblyBinding>
</runtime>
<system.diagnostics>
<trace autoflush="true" indentsize="0"></trace>
</system.diagnostics>
</configuration>