godot.git - Godot Engine – Multi-platform 2D and 3D game engine https://godotengine.org

	Commit message (Collapse)	Author	Age	Files	Lines
*	Merge pull request #18113 from toger5/bold_font	Juan Linietsky	2018-05-07	1	-0/+0
\|\ \| \| \| \|	added bold font to editor (support for coustom bold font)
\| *	added bold font to editor (support for coustom bold font)	toger5	2018-04-19	1	-0/+0
\| \|
* \|	Update Hack font to v3.003	Hugo Locurcio	2018-04-11	2	-2/+2
\|/
*	Update Hack font to version 3.000	Hugo Locurcio	2017-12-15	2	-38/+19
\|
*	Changed Mononoki font to Hack font	Daniel J. Ramirez	2017-09-17	4	-94/+64
\|
*	Changed source font to Mononoki.	Daniel J. Ramirez	2017-09-14	3	-4/+4
\|
*	Replace editor font to NotoSans for Latin, Arabic, Hebrew, Thai	volzhs	2017-08-31	8	-0/+92
\|
*	Update source code pro font to 2.030	volzhs	2017-08-31	1	-0/+0
\|
*	Reorder the folders in tools to prepare moving tools/editor	Rémi Verschelde	2017-02-09	9	-0/+107
	- `certs` and `editor_fonts` go to `thirdparty` - `dist` and `scripts` go to a new `misc` folder - `collada` and `doc` go to `tools/editor` The next step will be to rename `tools/editor` to `editor` directly, but this will be done at the right time to avoid breaking too many PRs.