Remove unused Platform.ts in webgl

2019-06-23 13:11:25 -07:00
parent e10adaf3d2
commit fdae27e7ea
1 changed files with 0 additions and 10 deletions
@@ -1,10 +0,0 @@
 /**
 * Copyright (c) 2016 The xterm.js authors. All rights reserved.
 * @license MIT
 */
 const isNode = (typeof navigator === 'undefined') ? true : false;
 const userAgent = (isNode) ? 'node' : navigator.userAgent;
 export const isFirefox = !!~userAgent.indexOf('Firefox');
 export const isSafari = /^((?!chrome|android).)*safari/i.test(userAgent);