David Langley
|
491f0cd08a
|
Change license (#13)
* Copyright headers 1
* Licence headers 2
* Copyright Headers 3
* Copyright Headers 4
* Copyright Headers 5
* Copyright Headers 6
* Copyright headers 7
* Add copyright headers for html and config file
* Replace license files and update package.json
* Update with CLA
* lint
|
2024-09-09 13:57:16 +00:00 |
|
Michael Weimann
|
526645c791
|
Apply prettier formatting
|
2022-12-12 12:24:14 +01:00 |
|
Šimon Brandner
|
19e514d83c
|
Remove dead code (#9035)
|
2022-07-11 07:52:44 +02:00 |
|
Michael Telatynski
|
fcc4939075
|
Fix naming of set-theory utils to match convention (#7343)
|
2021-12-13 10:57:51 +00:00 |
|
Dominik Henneke
|
908e938996
|
Keep all previously approved widget capabilities when requesting new capabilities (#7340)
|
2021-12-13 10:34:04 +00:00 |
|
J. Ryan Stinnett
|
ae0a8b8da4
|
Auto-fix lint errors
|
2021-06-29 13:11:58 +01:00 |
|
Travis Ralston
|
2c459c4828
|
Move utility tests to the right place
|
2021-04-22 20:37:19 -06:00 |