mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-21 14:37:45 +07:00
to avoid having Performance.properties file in our project (which confuses some people who even change it!)
to avoid having Performance.properties file in our project (which confuses some people who even change it!)