diff options
| author | Will Dietz <github@wdtz.org> | 2019-03-13 17:59:03 -0500 |
|---|---|---|
| committer | xeji <36407913+xeji@users.noreply.github.com> | 2019-03-13 23:59:03 +0100 |
| commit | 4d82af02503fec564ba71453ea53a14ff72adbc5 (patch) | |
| tree | fed2a981458d1c2613443e098e5933c8598e4919 /pkgs/development/python-modules/httpserver | |
| parent | 2556b7bfad8341aa25fa4a3f9a2d4e4c8c85f67f (diff) | |
inter-ui: 3.1 -> 3.3 (#57605)
FWIW new name but not sure worth renaming attribute
(to 'inter' or maybe 'inter-font'?)
https://github.com/rsms/inter/releases/tag/v3.3
https://github.com/rsms/inter/releases/tag/v3.2
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions
