fix linting

This commit is contained in:
Tobias Kohr
2019-09-24 10:13:21 +02:00
parent 5711cd30d0
commit b1196e7601
3 changed files with 5 additions and 5 deletions

View File

@@ -13,7 +13,7 @@ import PointerInteraction from './Pointer.js';
import VectorLayer from '../layer/Vector.js';
import VectorSource from '../source/Vector.js';
import {createEditingStyle} from '../style/Style.js';
import { toUserExtent } from '../proj.js';
import {toUserExtent} from '../proj.js';
/**