mirror of
https://github.com/Smaug123/agda-utils
synced 2025-10-05 11:38:39 +00:00
3 lines
492 B
XML
3 lines
492 B
XML
<wpf:ResourceDictionary xml:space="preserve" xmlns:x="http://schemas.microsoft.com/winfx/2006/xaml" xmlns:s="clr-namespace:System;assembly=mscorlib" xmlns:ss="urn:shemas-jetbrains-com:settings-storage-xaml" xmlns:wpf="http://schemas.microsoft.com/winfx/2006/xaml/presentation">
|
|
<s:Boolean x:Key="/Default/UserDictionary/Words/=agda/@EntryIndexedValue">True</s:Boolean>
|
|
<s:Boolean x:Key="/Default/UserDictionary/Words/=Setoids/@EntryIndexedValue">True</s:Boolean></wpf:ResourceDictionary> |