You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Mike Bryant 21cb1a0ed2 fix: Make guaranteed minimum correct for all patterns, and fix sorting ... Fixes #98 Fixes #76		5 years ago
..
contributors.js	fix: Removed a debug statement left behind	5 years ago
predictions.js	fix: Make guaranteed minimum correct for all patterns, and fix sorting	5 years ago
scripts.js	Removed UI notification when query is used.	5 years ago