mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
7 lines
209 B
HTML
7 lines
209 B
HTML
<!-- Copyright 2000-2018 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license that can be found in the LICENSE file. -->
|
|
<html>
|
|
<body>
|
|
Reports redundancy in patterns.
|
|
</body>
|
|
</html>
|