tree feec18e714416cbcfcbb2a2e6e2b32da8b3e1430
parent 97e1cc87a377d4cc75608e765bd7ac055536c73d
author Julian Hyde <julianhyde@gmail.com> 1398636794 -0700
committer Julian Hyde <julianhyde@gmail.com> 1398636835 -0700

Add support for JSON files (recognized by '.json' suffix).