Rangi
|
b69526a908
|
Miscellaneous fixes
Addresses the haircut brothers' probability comments in #709
|
2020-05-05 10:17:02 -04:00 |
Andrew Cook
|
5d97f15f80
|
Assorted labels in mobile related code (#702)
Rename assorted labels in mobile-related code
|
2020-03-31 21:26:59 -04:00 |
mid-kid
|
1d9a68dbdd
|
Remove all address comments
|
2018-06-24 16:13:22 +02:00 |
xCrystal
|
9a3088e50c
|
Clean up XXX comments for unused content
|
2018-01-02 13:26:18 +01:00 |
Remy Oukaour
|
dc76bf804f
|
Move all misc/ and unknown/ files to meaningful directories
|
2017-12-15 13:21:47 -05:00 |