快速创建Lean任务(Add Lean Task)

扩展程序 : 快速创建Lean任务(Add Lean Task) for Google Chrome
版本 : 0.0.3
提供方 : 由jianhong.wk提供

添加至Google Chrome

概述

A plugin for Lean Users to add task in Lean projectThis is a plugin for Lean Users to add task in Lean project!