Permalink
Browse files

* globals/config_pfff.ml: deleter, generated

  • Loading branch information...
1 parent 8181196 commit 0afd7e83712964c3e09cf3872828fddb9115d9c3 @aryx aryx committed Dec 14, 2012
Showing with 0 additions and 11 deletions.
  1. +0 −11 globals/config_pfff.ml
View
@@ -1,11 +0,0 @@
-let version = "0.21"
-
-let path =
- try (Sys.getenv "PFFF_HOME")
- with Not_found->"/usr/local/share/pfff"
-
-let std_xxx = ref (Filename.concat path "xxx.yyy")
-
-let logger =
- try Some (Sys.getenv "PFFF_LOGGER")
- with Not_found-> None

0 comments on commit 0afd7e8

Please sign in to comment.