From 73d0a42bffbb7309fd0f1b8eb29f366b33eb94c8 Mon Sep 17 00:00:00 2001
From: mustafapc19 <mustafa010199@gmail.com>
Date: Tue, 28 Jul 2020 20:09:14 +0530
Subject: [PATCH] Synced with master

---
 .gdb_history           | 2 --
 peda-session-servo.txt | 1 -
 2 files changed, 3 deletions(-)
 delete mode 100644 .gdb_history
 delete mode 100644 peda-session-servo.txt

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