This repository has been archived on 2024-07-04. You can view files and clone it, but cannot push or open issues or pull requests.
2021-03-26 22:19:39 +01:00
|
|
|
<Project Sdk="Microsoft.NET.Sdk"
|
|
|
|
|
xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
|
2021-03-26 19:39:28 +01:00
|
|
|
|
|
|
|
|
<PropertyGroup>
|
|
|
|
|
<ServerGarbageCollection>true</ServerGarbageCollection>
|
|
|
|
|
</PropertyGroup>
|
|
|
|
|
<PropertyGroup>
|
|
|
|
|
<OutputType>Exe</OutputType>
|
|
|
|
|
<TargetFramework>net5.0</TargetFramework>
|
|
|
|
|
</PropertyGroup>
|
|
|
|
|
<ItemGroup>
|
|
|
|
|
<Compile Include="Config.fs" />
|
|
|
|
|
<Compile Include="Channels.fs" />
|
|
|
|
|
<Compile Include="WikiMathParser.fs" />
|
|
|
|
|
<Compile Include="BotCommands.fs" />
|
|
|
|
|
<Compile Include="WebsiteCheckLoop.fs" />
|
|
|
|
|
<Compile Include="Program.fs" />
|
|
|
|
|
</ItemGroup>
|
|
|
|
|
<ItemGroup>
|
2021-03-26 23:40:51 +01:00
|
|
|
<Content Include="data/channels.dat" />
|
|
|
|
|
<Content Include="data/config.json">
|
2021-03-26 19:39:28 +01:00
|
|
|
<CopyToOutputDirectory>Always</CopyToOutputDirectory>
|
|
|
|
|
</Content>
|
|
|
|
|
</ItemGroup>
|
|
|
|
|
<ItemGroup>
|
|
|
|
|
<PackageReference Include="Discord.Net" Version="1.0.2" />
|
|
|
|
|
<PackageReference Include="DSharpPlus" Version="3.2.3" />
|
|
|
|
|
<PackageReference Include="DSharpPlus.CommandsNext" Version="3.2.3" />
|
|
|
|
|
<PackageReference Include="FSharp.Data" Version="4.0.1" />
|
|
|
|
|
<PackageReference Include="Microsoft.Extensions.Configuration" Version="2.1.1" />
|
|
|
|
|
<PackageReference Include="Microsoft.Extensions.Configuration.Json" Version="2.1.1" />
|
|
|
|
|
</ItemGroup>
|
|
|
|
|
</Project>
|
