田源
2024-06-27 56bdc677d717f8f1d8ff6ff4c87e733d1206e8be
1
2
3
4
5
6
<?xml version="1.0" encoding="UTF-8"?><module codename="org.openide.options">
    <module_version install_time="1484425993357" last="true" origin="installer" specification_version="6.32.1">
        <file crc="2763036759" name="config/Modules/org-openide-options.xml"/>
        <file crc="1433766718" name="modules/org-openide-options.jar"/>
    </module_version>
</module>