diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2015-07-18 13:57:39 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2015-07-18 13:57:39 -0700 |
| commit | 5aa38b5237b60795fb119165993e80bd2e906555 (patch) | |
| tree | c1607b543def0495b21281f4dcc82249c1dda7f7 /html/044space.cc.html | |
| parent | 13ba3defe91b4de6ab3da7e937ee448c49909725 (diff) | |
| download | mu-5aa38b5237b60795fb119165993e80bd2e906555.tar.gz | |
1815 - git commit only if lesson/.git exists
We want to avoid accidentally mixing lessons into ourselves. Require users to git-enable it first.
Diffstat (limited to 'html/044space.cc.html')
0 files changed, 0 insertions, 0 deletions