An interactive Git learning game!
Find a file
2020-09-14 19:37:51 +02:00
fonts Improve fonts and colors 2020-09-05 10:47:38 +02:00
levels Clear button, show arrow target if there's no node, add some goals 2020-09-14 15:35:30 +02:00
scripts fake-editor sends filename now, so that we can write tag descriptions, for example 2020-09-13 18:40:44 +02:00
styles Next Level Button and Switch to Bash for Commands 2020-09-11 13:12:12 +02:00
.gitignore When exporting for Windows, bundle with PortableGit 2020-09-09 17:04:22 +02:00
arrow.gd Add checkbox to hide trees and blobs 2020-09-14 16:03:01 +02:00
arrow.tscn Clear button, show arrow target if there's no node, add some goals 2020-09-14 15:35:30 +02:00
export_presets.cfg When exporting for Windows, bundle with PortableGit 2020-09-09 17:04:22 +02:00
game.gd Fix all warnings 2020-09-11 10:33:44 +02:00
main.gd Make level dropdown font prettier, too 2020-09-14 19:37:51 +02:00
main.tscn Show level name above description 2020-09-14 19:29:51 +02:00
Makefile When exporting for Windows, bundle with PortableGit 2020-09-09 17:04:22 +02:00
node.gd Add checkbox to hide trees and blobs 2020-09-14 16:03:01 +02:00
node.tscn Fix caret position when using history 2020-09-03 18:10:09 +02:00
player.gd Indent using tabs, which is Godot's default behavior 2020-08-24 16:49:39 +02:00
player.tscn Basic project with export Makefile 2020-01-29 20:25:13 +01:00
project.godot Introduce Shell class with a cd method and a run method 2020-09-08 16:08:40 +02:00
repository.gd Add checkbox to hide trees and blobs 2020-09-14 16:03:01 +02:00
repository.tscn Add checkbox to hide trees and blobs 2020-09-14 16:03:01 +02:00
shell.gd Next Level Button and Switch to Bash for Commands 2020-09-11 13:12:12 +02:00
terminal.gd Make command dropdown prettier 2020-09-14 19:36:58 +02:00
terminal.tscn Make command dropdown prettier 2020-09-14 19:36:58 +02:00
text_editor.gd fake-editor sends filename now, so that we can write tag descriptions, for example 2020-09-13 18:40:44 +02:00