Project

General

Profile

Revision d2d9d4cb src/plugins/scopes/scopes.ml

View differences:

src/plugins/scopes/scopes.ml
227 227
  }
228 228
    
229 229

  
230
module Plugin : PluginType.PluginType =
230
module Plugin : (
231
  sig
232
    include PluginType.PluginType
233
    val show_scopes: unit -> bool
234
    end) =
231 235
struct
232 236
  let name = "scopes"
233 237
  let is_active () = 

Also available in: Unified diff