Yang Ming-Tian

Makefile.win Error

1

I usually use `Source\Tools\LangCheck\LangCheck.exe` to assist my translating works, and it could be compiled properly in the previous versions of Dev-C++. But when I compile it under Embarcadero Dev-C++ v6.3,...

Discarded item with irregular number:  Duplicated number:  Wrong order: 

一个顶俩

3


I have just noticed that Embarcadero is also maintaining a fork of Dev-C++. Given their unparalleled professionalism, I decided to regard the [Embarcadero Dev-C++](https://github.com/Embarcadero/Dev-Cpp) as the orthodox successor of Bloodshed...

[Fix] `li` numbering and abuse of discretionary ligatures

1

- Fixes #193 - Fixes #194

This is actually a issue with Sassline: - https://github.com/jakegiltsoff/sassline/issues/60 However, since it is no longer actively maintained, I think we can just fix it in Alembic. --- In `_typography.scss`, `counter-increment:...

This is actually a issue with Sassline: - https://github.com/jakegiltsoff/sassline/issues/62 However, since it is no longer actively maintained, I think we can just fix it in Alembic. --- Sometimes, if a...

"panel-background.svg" should be updated to work on Plasma 5

2

According to [the official document](https://develop.kde.org/docs/extend/plasma/theme/theme-porting-to-plasma5/), since Plasma 5, all "[prefix-]" elements should include all potential borders. However, currently we only have "north-bottom", "east-left", "south-top", and "west-right", with other borders missing,...

Argument-free `instantiate` tactic has been deprecated since Coq 8.16. - coq/coq#15277