History

  1. Ignore Case
    Ignore Case

    Ignore Case

    changed via the API .
    Copy to clipboard
  2. Case-sensitive
    Case-sensitive

    Case-sensitive

    changed via the API .
    Copy to clipboard