diff --git a/.gdb_history b/.gdb_history new file mode 100644 index 00000000000..a6a9320e202 --- /dev/null +++ b/.gdb_history @@ -0,0 +1,2 @@ +r http://mozilla.org --devtools 6000 +q diff --git a/peda-session-servo.txt b/peda-session-servo.txt new file mode 100644 index 00000000000..8b137891791 --- /dev/null +++ b/peda-session-servo.txt @@ -0,0 +1 @@ +