History

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