Mr Hedgehog
|
66050d204e
|
nvfetcher: update packages
|
2022-06-27 15:03:32 -04:00 |
|
Mr Hedgehog
|
45cf940924
|
Many fixes and formatting
|
2022-04-20 13:14:00 -04:00 |
|
Mr Hedgehog
|
65e9494cab
|
Update
nvim-telescope: a36a813d5d031e6f5d52b74986915e68130febd9 → 503db70a6a82ff4847593e5830c05082db39faa0
telescope-ui-select: eadc72ef0962c605662fe43cf3e2eca8357ed0ef → 186a124a01d7f19e6fcf608d4e1cc61d61ebe939
coq-tp: 273d79bb11fe356d3a619cff36a7b0ca00ae4005 → 38263b500082889c2bc3d277d0a5bca0c677c87d
coq-artifacts: 55d84af8eecee71b1270d5657363b6d82777efde → 2626f9ca258f44fb2647a850e3213396569bb3b3
|
2022-03-24 17:43:24 -04:00 |
|
Mr Hedgehog
|
ce2e271148
|
Update
coq-tp: 083da138b85bf11cff172eb4b8bd1b89aa01c264 → 273d79bb11fe356d3a619cff36a7b0ca00ae4005
tokyo-night-ff: ∅ → 074a7ea9fd3cd294057219d71f6cc07e7ba1a7a5
coq-artifacts: 4f5c13cea8cf9e4ea407213f83b5e20c871dbbc7 → 55d84af8eecee71b1270d5657363b6d82777efde
|
2022-03-18 11:48:51 -04:00 |
|
Mr Hedgehog
|
0922701b43
|
nvfetcher: Update sources
|
2022-03-16 06:34:10 -04:00 |
|
Mr Hedgehog
|
026db8c669
|
nvim-telescope: ∅ → 1daf0917cf859c3c089c62e960b128fe3382fc6d
|
2022-03-09 10:06:20 -05:00 |
|
Mr Hedgehog
|
053b21fb96
|
Update
coq-tp: 5cfab094de4c6690ea295546dd11ccfa5b6d9cab → b3d45a46f7cc8c54e2e2791442ab887483087ee4
telescope-ui-select: ∅ → eadc72ef0962c605662fe43cf3e2eca8357ed0ef
coq-artifacts: b46f9a8f2254eac9acad333c1eb07293df538985 → 23eea02f5876a9b7c29a34c98e4817dfa0709bdf
|
2022-03-09 09:21:39 -05:00 |
|
Mr Hedgehog
|
6b885088cc
|
chore: Update nvfetcher sources
|
2022-03-03 18:29:29 -05:00 |
|
Mr Hedgehog
|
a94c0f9f23
|
Update
coq-tp: 61b9c1f2f2e7392c7d7fb7513a144f92c6f81f00 → 5cfab094de4c6690ea295546dd11ccfa5b6d9cab
coq-artifacts: 13ca7bebd34d4c86394cbc12a87f57fe42b8513d → b46f9a8f2254eac9acad333c1eb07293df538985
|
2022-03-03 07:53:09 -05:00 |
|
Mr Hedgehog
|
63783b9ad8
|
Update
coq-tp: 0aee7f49cdddf59bb6f003cc122c8e33c9efaf49 → 61b9c1f2f2e7392c7d7fb7513a144f92c6f81f00
coq-artifacts: 86e8c499aa297e54ba3c4bf6f098e3e0d22fc8ec → 13ca7bebd34d4c86394cbc12a87f57fe42b8513d
|
2022-03-02 09:14:34 -05:00 |
|
Mr Hedgehog
|
5bc31b5fdc
|
nvfetcher: Update sources
|
2022-02-27 15:58:41 -05:00 |
|
Mr Hedgehog
|
96539f2935
|
Update
coq-tp: 95318a84eb6bc540ac6adfb70b7a46352ac718ba → eac392b384e4a3df37fe74965741a5fc3e4dc303
coq-artifacts: d769563735359c4b35a00b9f4212ea724ae27c21 → 583e44f417e75703d691b9c8c6b8e24e75f894b1
|
2022-02-24 06:41:09 -05:00 |
|
Mr Hedgehog
|
3d2c883fd1
|
Update
coq-tp: 60cac38cc2cf3b4d6ec8568b00d0f9987692248a → 95318a84eb6bc540ac6adfb70b7a46352ac718ba
coq-artifacts: 17fbe8ba283866278ef647c7ae307de9ec1c8682 → d769563735359c4b35a00b9f4212ea724ae27c21
|
2022-02-20 14:47:12 -05:00 |
|
Mr Hedgehog
|
3a54be70ab
|
Update
filetype-nvim: b1476bd812d2b359a79142cd9060c62c286d8ba6 → 3053f00a1138a981fce6d7ebc34e7e26561100dc
coq-tp: 2f9720bfb18b5ce5a90563445d5b7c3f5433e098 → 60cac38cc2cf3b4d6ec8568b00d0f9987692248a
coq-artifacts: 3b2afd6b357c7987ab730de432c52af8c8ac0c40 → 17fbe8ba283866278ef647c7ae307de9ec1c8682
|
2022-02-19 17:07:19 -05:00 |
|
Mr Hedgehog
|
3b19aac1be
|
Update
coq-tp: 7bbffb4bc8155ca21e63793b454401269673fbd4 → 2f9720bfb18b5ce5a90563445d5b7c3f5433e098
epub-thumbnailer: ∅ → 486111b27d192c27011229dc696e9179f59b0eab
calendar-vim: ∅ → a7e73e02c92566bf427b2a1d6a61a8f23542cc21
coq-artifacts: f7b6de104803704316e97632fb0c813c4b799c52 → 3b2afd6b357c7987ab730de432c52af8c8ac0c40
|
2022-02-18 06:41:11 -05:00 |
|
Mr Hedgehog
|
0a1ec74a30
|
calendar-vim: ∅ → a7e73e02c92566bf427b2a1d6a61a8f23542cc21
|
2022-02-15 08:05:21 -05:00 |
|
Mr Hedgehog
|
d833266dbb
|
chore: format
|
2022-02-15 06:24:34 -05:00 |
|
Mr Hedgehog
|
771bfd95de
|
chore: Update lockfiles
|
2022-02-15 06:09:10 -05:00 |
|
Mr Hedgehog
|
9a944dbba6
|
add boolean expression notes
|
2022-02-11 13:10:00 -05:00 |
|
Mr Hedgehog
|
11cb043901
|
push for testing
|
2022-02-09 13:40:36 -05:00 |
|