aboutsummaryrefslogtreecommitdiff
path: root/src/mint-tools
diff options
context:
space:
mode:
authorMarcello Stanisci <marcello.stanisci@inria.fr>2015-06-21 17:57:20 +0200
committerMarcello Stanisci <marcello.stanisci@inria.fr>2015-06-21 17:57:20 +0200
commitad9a362118323a6632ddef1b73fff188090a1ea1 (patch)
treed9ad635061e81cc936bba07df768e147007ca249 /src/mint-tools
parentd5e581b5e61a706c83778fa493bf4c9e80f228b0 (diff)
adding instructions on how to set up the mint web server
Diffstat (limited to 'src/mint-tools')
0 files changed, 0 insertions, 0 deletions