pipe-rename 1.3.0

Rename your files using your favorite text editor
1

<script src="tslib.es6.js"></script>