Skip to content

Add new platform selection mechanism #87

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

Open
WasabiFan wants to merge 14 commits into
base: master
Choose a base branch
from
Open

Add new platform selection mechanism #87

Changes from 1 commit
Commits
Show all changes
14 commits
Select commit Hold shift + click to select a range
21c0f13
Add new WIP code for platform selection
WasabiFan Dec 30, 2015
4d5c165
Merge remote-tracking branch 'origin/master' into new-platform-selection
WasabiFan Dec 30, 2015
7f993d2
Use config file and IDs instead of raw titles
WasabiFan Dec 30, 2015
ee48545
Use jQuery plugin instead of other function for query params in search
WasabiFan Dec 30, 2015
734cf6b
Update UA parser lib (removes custom modifications)
WasabiFan Dec 30, 2015
1d9cb2c
Move 3rd-party libs to subfolder
WasabiFan Dec 30, 2015
9cc1f0d
Add platform auto-detection
WasabiFan Jan 8, 2016
8274fe4
Merge master into new platform selection
WasabiFan Apr 25, 2016
d9f02df
Merge branch 'master' of https://github.com/ev3dev/ev3dev.github.io i…
WasabiFan Apr 26, 2016
3c940a3
Fix merge issue
WasabiFan Apr 26, 2016
871333f
Get nested platform selection (mostly) working
WasabiFan Apr 26, 2016
ddc81de
Fix selection of nested platform attributes
WasabiFan Apr 27, 2016
77e64c6
Finish platform save/load and autodetect
WasabiFan Apr 28, 2016
232255a
Add autodetection for Windows version (7/8/10)
WasabiFan Apr 28, 2016
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
Prev Previous commit
Next Next commit
Merge remote-tracking branch 'origin/master' into new-platform-selection
  • Loading branch information
@WasabiFan
WasabiFan committed Dec 30, 2015
commit 4d5c165553fd20cdcf7778172ecfd7db1e89dca3

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.