Merge pull request ethereum#1520 from ethereum/publish

Bump
milochen0418 · Sep 13, 2018 · b6d94b2 · b6d94b2
2 parents 5874b29 + b641622
commit b6d94b2
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/package.json b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "remix-ide",
-  "version": "v0.7.1",
+  "version": "v0.7.2",
   "description": "Minimalistic browser-based Solidity IDE",
   "devDependencies": {
     "ace-mode-solidity": "^0.1.0",

diff --git a/src/app/panels/terminal.js b/src/app/panels/terminal.js
@@ -346,7 +346,7 @@ class Terminal {
     self._cmdIndex = -1
     self._cmdTemp = ''
 
-    var intro = yo`<div><div> - Welcome to Remix v0.7.1 - </div><br>
+    var intro = yo`<div><div> - Welcome to Remix v0.7.2 - </div><br>
                   <div>You can use this terminal for: </div>
                   <ul class=${css2.ul}>
                     <li>Checking transactions details and start debugging.</li>