View Issue Details
| ID | Project | Category | View Status | Date Submitted | Last Update |
|---|---|---|---|---|---|
| 0008232 | Taler | other | public | 2024-01-23 19:04 | 2024-01-23 19:04 |
| Reporter | Christian Grothoff | Assigned To | oec | ||
| Priority | low | Severity | feature | Reproducibility | N/A |
| Status | assigned | Resolution | open | ||
| Platform | i7 | OS | Debian GNU/Linux | OS Version | squeeze |
| Product Version | git (master) | ||||
| Target Version | post-1.0 | ||||
| Summary | 0008232: tooling to remove duplicated config options | ||||
| Description | We sometimes have the same options set that are already in included files and/or in the default configuration. Would be nice to have a way to automatically clean up the configuration files. | ||||
| Tags | No tags attached. | ||||
| Date Modified | Username | Field | Change |
|---|---|---|---|
| 2024-01-23 19:04 | Christian Grothoff | New Issue | |
| 2024-01-23 19:04 | Christian Grothoff | Status | new => assigned |
| 2024-01-23 19:04 | Christian Grothoff | Assigned To | => oec |
