update copyright year in forgotten files
Showing
- doc/LICENSE 1 addition, 1 deletiondoc/LICENSE
- doc/developer/check_api/check_and_compare.ml 1 addition, 1 deletiondoc/developer/check_api/check_and_compare.ml
- doc/developer/check_api/check_code.ml 1 addition, 1 deletiondoc/developer/check_api/check_code.ml
- doc/developer/check_api/check_index_lexer.mll 1 addition, 1 deletiondoc/developer/check_api/check_index_lexer.mll
- doc/developer/tutorial/hello/src/dune 1 addition, 1 deletiondoc/developer/tutorial/hello/src/dune
- doc/developer/tutorial/hello/src/dune-project 1 addition, 1 deletiondoc/developer/tutorial/hello/src/dune-project
- doc/developer/tutorial/viewcfg/Makefile 1 addition, 1 deletiondoc/developer/tutorial/viewcfg/Makefile
- doc/developer/tutorial/viewcfg/src/Makefile.split 1 addition, 1 deletiondoc/developer/tutorial/viewcfg/src/Makefile.split
Loading
Please register or sign in to comment