[Dive] Updates the copyright year in headers.
Showing
- src/plugins/dive/Dive.mli 1 addition, 1 deletionsrc/plugins/dive/Dive.mli
- src/plugins/dive/Makefile.in 1 addition, 1 deletionsrc/plugins/dive/Makefile.in
- src/plugins/dive/build.ml 1 addition, 1 deletionsrc/plugins/dive/build.ml
- src/plugins/dive/build.mli 1 addition, 1 deletionsrc/plugins/dive/build.mli
- src/plugins/dive/callstack.ml 1 addition, 1 deletionsrc/plugins/dive/callstack.ml
- src/plugins/dive/callstack.mli 1 addition, 1 deletionsrc/plugins/dive/callstack.mli
- src/plugins/dive/configure.ac 1 addition, 1 deletionsrc/plugins/dive/configure.ac
- src/plugins/dive/graph_types.mli 1 addition, 1 deletionsrc/plugins/dive/graph_types.mli
- src/plugins/dive/headers/close-source/LGPL.Dive 1 addition, 1 deletionsrc/plugins/dive/headers/close-source/LGPL.Dive
- src/plugins/dive/headers/open-source/LGPL.Dive 1 addition, 1 deletionsrc/plugins/dive/headers/open-source/LGPL.Dive
- src/plugins/dive/imprecision_graph.ml 1 addition, 1 deletionsrc/plugins/dive/imprecision_graph.ml
- src/plugins/dive/imprecision_graph.mli 1 addition, 1 deletionsrc/plugins/dive/imprecision_graph.mli
- src/plugins/dive/main.ml 1 addition, 1 deletionsrc/plugins/dive/main.ml
- src/plugins/dive/node_kind.ml 1 addition, 1 deletionsrc/plugins/dive/node_kind.ml
- src/plugins/dive/node_kind.mli 1 addition, 1 deletionsrc/plugins/dive/node_kind.mli
- src/plugins/dive/self.ml 1 addition, 1 deletionsrc/plugins/dive/self.ml
- src/plugins/dive/self.mli 1 addition, 1 deletionsrc/plugins/dive/self.mli
- src/plugins/dive/server_interface.ml 1 addition, 1 deletionsrc/plugins/dive/server_interface.ml
- src/plugins/dive/server_interface.mli 1 addition, 1 deletionsrc/plugins/dive/server_interface.mli
Loading
Please register or sign in to comment