Summary: | kile user tags missing | ||
---|---|---|---|
Product: | [Applications] kile | Reporter: | Mathias <mathias> |
Component: | general | Assignee: | Michel Ludwig <michel.ludwig> |
Status: | RESOLVED FIXED | ||
Severity: | normal | ||
Priority: | NOR | ||
Version: | 2.9.91 | ||
Target Milestone: | --- | ||
Platform: | Gentoo Packages | ||
OS: | Linux | ||
Latest Commit: | Version Fixed In: |
Description
Mathias
2018-04-20 08:28:58 UTC
found in documentation of version 2.9.92 that the user tag feature has been incorporated into the "user menu" under the latex menu. |