Remove numbering
[promise.git] / docs / development /
2017-03-08 ShubhamRathiAdding Labels 41/30041/2
2017-03-07 Gerald KunzmannVarious updates to documentation, e.g. remove the histo... 65/29965/2
2017-02-17 Gerald KunzmannMerge "Update docs structure according to new guideline...
2017-02-15 Gerald KunzmannUpdate docs structure according to new guidelines in... 49/28349/4