diff options
| author | Bram Moolenaar <Bram@vim.org> | 2019-07-13 23:06:26 +0200 |
|---|---|---|
| committer | Bram Moolenaar <Bram@vim.org> | 2019-07-13 23:06:26 +0200 |
| commit | a099da357248b48e0a78bc5675c5dd222b557bf1 (patch) | |
| tree | b2b3c0113d53d9b61d0c29d7ac01ce9402001a94 | |
| parent | 396e829fa355ebc92a618ef18266a3fed71b7042 (diff) | |
patch 8.1.1685: missing file in distributed file listv8.1.1685
Problem: Missing file in distributed file list.
Solution: Add profiling.pro
| -rw-r--r-- | Filelist | 1 | ||||
| -rw-r--r-- | src/version.c | 2 |
2 files changed, 3 insertions, 0 deletions
@@ -209,6 +209,7 @@ SRC_ALL = \ src/proto/option.pro \ src/proto/popupmnu.pro \ src/proto/popupwin.pro \ + src/proto/profiler.pro \ src/proto/quickfix.pro \ src/proto/regexp.pro \ src/proto/screen.pro \ diff --git a/src/version.c b/src/version.c index 4316068e76..21dc66e02b 100644 --- a/src/version.c +++ b/src/version.c @@ -778,6 +778,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1685, +/**/ 1684, /**/ 1683, |