Will Dietz
|
346082f8ec
|
inter,inter-ui: init new 'inter', bump inter-ui to last w/that name
|
2019-04-05 15:50:53 -05:00 |
|
Will Dietz
|
3d3bf7d0e0
|
Revert "inter-ui: 3.1 -> 3.3 (#57605)"
Don't change font name for the `inter-ui` attribute,
breaks configs (as reported by a user on the PR).
This reverts commit 4d82af0250 .
|
2019-04-05 15:50:53 -05:00 |
|
Will Dietz
|
dfeaf5e316
|
Revert "inter(-ui): 3.3 -> 3.4"
This reverts commit 4d7a973233 .
|
2019-04-05 15:50:50 -05:00 |
|
Will Dietz
|
4d7a973233
|
inter(-ui): 3.3 -> 3.4
https://github.com/rsms/inter/releases/tag/v3.4
|
2019-03-31 21:57:24 -05:00 |
|
Will Dietz
|
4d82af0250
|
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
|
2019-03-13 23:59:03 +01:00 |
|
Mario Rodas
|
046f90d251
|
inter-ui: 3.0 -> 3.1
|
2019-01-01 17:54:45 -05:00 |
|
R. RyanTM
|
20bc7ace64
|
inter-ui: 2.5 -> 3.0
* inter-ui: 2.5 -> 3.0 (#50782)
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/inter-ui/versions
* inter-ui: correct sha hash
|
2018-11-23 15:41:22 +01:00 |
|
Johannes Löthberg
|
adc4e1d6b7
|
inter-ui: init at 2.5 (#44433)
Signed-off-by: Johannes Löthberg <johannes@kyriasis.com>
|
2018-08-04 10:59:32 +02:00 |
|