search

MathHubInfo / Legacy-localmh

DEPRECATED - A cross-repository administration tool for the local authoring in MathHub.info
1 stars 0 forks source link

Make lmh pull, lmh push, lmh commit and friends dependency-aware #300

Open tkw1536 opened 8 years ago

kohlhase commented 8 years ago

very good idea :-)