tree bc9d747033748496e30949a6ac50313e11708452 parent a9c785eb93855dbe648f8b06b03e0a9f3f491e70 author WHR 1666433233 +0800 committer WHR 1666433233 +0800 Allow using white space instead of equal sign to separate option and value in configuration file; bump version number