Code

Patching#20

Code

Closed

fluca1978 wants to merge 4 commits intotheory:mastertheory/pgenv:masterfrom fluca1978:patchingfluca1978/pgenv:patchingCopy head branch name to clipboard

+167-21

Commits

Commits on Oct 16, 2018

• Implementation of a patching feature.

  Show description for 720daee
  fluca1978

  committed
  720daee

  Copy full SHA for 720daee

• Update documentation: add the patching section within the build one.

  fluca1978

  committed
  50ba5e0

  Copy full SHA for 50ba5e0

Commits on Oct 17, 2018

• Created patch index for 8.1.

  Show description for a82144d
  fluca1978

  committed
  a82144d

  Copy full SHA for a82144d

• Improve documentation about patch indexes.

  fluca1978

  committed
  1c6601c

  Copy full SHA for 1c6601c