An interactive Git learning game!
Go to file
2020-09-15 12:50:01 +02:00
fonts Improve fonts and colors 2020-09-05 10:47:38 +02:00
levels Restructuring of goal/start scripts 2020-09-15 12:36:22 +02:00
scripts Experimental TCP Server node 2020-09-15 09:42:06 +02:00
styles Terminal style without standard focus 2020-09-15 12:50:01 +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 Restructuring of goal/start scripts 2020-09-15 12:36:22 +02:00
main.gd Restructuring of goal/start scripts 2020-09-15 12:36:22 +02:00
main.tscn Experimental TCP Server node 2020-09-15 09:42:06 +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 Restructuring of goal/start scripts 2020-09-15 12:36:22 +02:00
tcp_server.gd Restructuring of goal/start scripts 2020-09-15 12:36:22 +02:00
terminal.gd Restructuring of goal/start scripts 2020-09-15 12:36:22 +02:00
terminal.tscn Terminal style without standard focus 2020-09-15 12:50:01 +02:00
test.gd Experimental TCP Server node 2020-09-15 09:42:06 +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