/// <summary>
/// Deletes the server DNS alias with the given name.
/// </summary>
/// <param name='operations'>
/// The operations group for this extension method.
/// </param>
/// <param name='resourceGroupName'>
/// The name of the resource group that contains the resource. You can obtain
/// this value from the Azure Resource Manager API or the portal.
/// </param>
/// <param name='serverName'>
/// The name of the server that the alias is pointing to.
/// </param>
/// <param name='dnsAliasName'>
/// The name of the server DNS alias.
/// </param>
public static void Delete(this IServerDnsAliasesOperations operations, string resourceGroupName, string serverName, string dnsAliasName)
{
operations.DeleteAsync(resourceGroupName, serverName, dnsAliasName).GetAwaiter().GetResult();
}
