Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface GitOpenFileOptions

Hierarchy

  • GitOpenFileOptions

Index

Properties

Properties

options?: EditorOpenerOptions
uri: URI