Information for file /usr/share/javadoc/antlr/antlr/Alternative.html
| Name | /usr/share/javadoc/antlr/antlr/Alternative.html |
|---|---|
| Digest (sha256) | 20c552cd4c598e60cbf7555dd9ee2c8e7c5c582a14717651b60057a5b3a0ecce |
| Size | 15.70 KB |
| Modification time | Sun, 19 Jun 2022 12:13:48 CST |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags |
documentation |
| RPM | antlr-javadoc-2.7.7-58.module+oc8.5.0+71+a3bc5605.noarch.rpm |
