Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

New update mechanism #68

Merged
merged 13 commits into from
Jun 12, 2019
Merged

New update mechanism #68

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
7789b95
New update mechanism
nmattia Jun 9, 2019
422a4d5
Remove old code
Jun 12, 2019
629bd8b
Fix build and scripts on macOS
nmattia Jun 12, 2019
558e917
Add 'tags' to gitignore
nmattia Jun 12, 2019
64e80a0
Move tests to exe
nmattia Jun 12, 2019
cd06631
Drop null elements in sources.json
nmattia Jun 12, 2019
7bc9e79
Fight cabal
nmattia Jun 12, 2019
136a650
Skip svg test
nmattia Jun 12, 2019
2caf5a7
Make update error handling more verbose
nmattia Jun 12, 2019
b5fa195
Print nicer error messages on update failure
nmattia Jun 12, 2019
43d7884
Implement an undefined
nmattia Jun 12, 2019
567bdb2
Pre merge cleanup
nmattia Jun 12, 2019
0720263
Update SVG
nmattia Jun 12, 2019
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1,2 @@
result*
tags
Loading