aboutsummaryrefslogtreecommitdiffhomepage
path: root/post_process_dist.sh
diff options
context:
space:
mode:
authorGravatar Feng Xiao <xfxyjwf@gmail.com>2015-12-22 14:36:04 -0800
committerGravatar Feng Xiao <xfxyjwf@gmail.com>2015-12-28 14:18:49 -0800
commitb7610f129df84d7f823f64d5dce9bfa1578cf49e (patch)
tree0da8267d920a3c6c5b20ae983d09c8d8967ee0cd /post_process_dist.sh
parent7f82325998a1812c119eb8894bc3bee21dd99628 (diff)
Add missing files to EXTRA_DIST.
Also delete some unused files.
Diffstat (limited to 'post_process_dist.sh')
0 files changed, 0 insertions, 0 deletions