Overview
| Comment: | use dict.pop() instead of get+del |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA3-256: |
900b323b25a7395a9c31edd329a900f3 |
| User & Date: | mario on 2022-11-01 23:29:16 |
| Other Links: | manifest | tags |
Context
|
2022-11-01
| ||
| 23:30 | predefine conf[plugins], note .base(__package__) as example check-in: 94218baefa user: mario tags: trunk | |
| 23:29 | use dict.pop() instead of get+del check-in: 900b323b25 user: mario tags: trunk | |
| 18:50 | move name_to_fn and get_readme into MetaUtils check-in: 63fdedee18 user: mario tags: trunk | |
Changes
Modified pluginconf/gui.py from [579f93bf8f] to [19523612ff]. [diff]