Skip to content

Commit

Permalink
phpdoc: use integer instead of int in config_defaults_inc.php
Browse files Browse the repository at this point in the history
  • Loading branch information
@mantis
mantis committed Sep 28, 2014
1 parent 8fc600d commit 6257780
Showing 1 changed file with 268 additions and 268 deletions.

0 comments on commit 6257780

Please sign in to comment.