mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-15 02:59:33 +07:00
15 lines
344 B
HTML
15 lines
344 B
HTML
<html>
|
|
<body>
|
|
Reports duplicate characters inside a RegExp character class.
|
|
Duplicate characters are unnecessary and can be removed without changing the semantics of the regex.
|
|
<p><b>Example:</b></p>
|
|
<pre><code>
|
|
[aabc]
|
|
</code></pre>
|
|
<p>After the quick-fix is applied:</p>
|
|
<pre><code>
|
|
[abc]
|
|
</code></pre>
|
|
<!-- tooltip end -->
|
|
</body>
|
|
</html> |