[wp] server activity detection (gui mode)
Showing
- src/plugins/wp/Cache.ml 2 additions, 1 deletionsrc/plugins/wp/Cache.ml
- src/plugins/wp/register.ml 2 additions, 2 deletionssrc/plugins/wp/register.ml
- src/plugins/wp/wp_parameters.ml 8 additions, 8 deletionssrc/plugins/wp/wp_parameters.ml
- src/plugins/wp/wp_parameters.mli 1 addition, 0 deletionssrc/plugins/wp/wp_parameters.mli
Loading
Please register or sign in to comment