[headers] fixes headers of dune files
Showing
- bin/dune 22 additions, 0 deletionsbin/dune
- dune 22 additions, 0 deletionsdune
- dune-project 21 additions, 0 deletionsdune-project
- headers/dune 22 additions, 0 deletionsheaders/dune
- headers/dune-project 22 additions, 0 deletionsheaders/dune-project
- ptests/dune 22 additions, 0 deletionsptests/dune
- ptests/dune-project 22 additions, 0 deletionsptests/dune-project
- share/analysis-scripts/dune 22 additions, 0 deletionsshare/analysis-scripts/dune
- share/dune 22 additions, 0 deletionsshare/dune
- src/dune 22 additions, 0 deletionssrc/dune
- src/init/boot/dune 22 additions, 0 deletionssrc/init/boot/dune
- src/init/dune 22 additions, 0 deletionssrc/init/dune
- src/init/impl_cmdline/dune 22 additions, 0 deletionssrc/init/impl_cmdline/dune
- src/init/impl_gui/dune 22 additions, 0 deletionssrc/init/impl_gui/dune
- src/kernel_internals/parsing/dune 22 additions, 0 deletionssrc/kernel_internals/parsing/dune
- src/kernel_internals/parsing/tests/dune 22 additions, 0 deletionssrc/kernel_internals/parsing/tests/dune
- src/kernel_internals/runtime/dune 22 additions, 0 deletionssrc/kernel_internals/runtime/dune
- src/libraries/datatype/tests/dune 22 additions, 0 deletionssrc/libraries/datatype/tests/dune
- src/libraries/stdlib/dune 22 additions, 0 deletionssrc/libraries/stdlib/dune
- src/libraries/utils/dune 22 additions, 0 deletionssrc/libraries/utils/dune
Loading
Please register or sign in to comment