Lines Matching refs:util

311   util/[email protected] +2 -2
314   util/[email protected] +174 -174
317   util/[email protected] +3 -3
320   util/[email protected] +2 -2
323   util/[email protected] +2 -2
326   util/[email protected] +2 -2
329   util/[email protected] +2 -2
332   util/[email protected] +2 -2
651   util/[email protected] +2 -2
654   util/[email protected] +7 -7
657   util/[email protected] +3 -3
660   util/[email protected] +2 -2
663   util/[email protected] +2 -2
666   util/[email protected] +2 -2
669   util/[email protected] +2 -2
672   util/[email protected] +2 -2
1000   util/[email protected] +2 -2
1003   util/[email protected] +174 -174
1006   util/[email protected] +3 -3
1009   util/[email protected] +2 -2
1012   util/[email protected] +2 -2
1015   util/[email protected] +676 -652
1018   util/[email protected] +2 -2
1021   util/[email protected] +2 -2
1273   util/[email protected] +1 -0
1274     Stub needed by prior cset util/Makefile.am
1276   util/[email protected] +0 -0
1397     distribute lsf-times.c in util/Makefile.am
1409   util/[email protected] +1 -0
1410     distribute lsf-times.c in util/Makefile.am
1412   util/[email protected] +220 -0
1413     BitKeeper file util/lsf-times.c
1415   util/[email protected] +0 -0
1535   util/[email protected] +35 -20
1689     Added util/lsf-times
2002   util/[email protected] +2 -1
2003     Added util/lsf-times
2005   util/[email protected] +1 -1
2008   util/[email protected] +4 -4
2011   util/[email protected] +2 -2
2014   util/[email protected] +3 -3
2017   util/[email protected] +3 -3
2020   util/[email protected] +652 -676
2023   util/[email protected] +3 -3
2026   util/[email protected] +3 -3
3532   util/[email protected] +2 -2
3535   util/[email protected] +7 -7
3538   util/[email protected] +3 -3
3541   util/[email protected] +2 -2
3544   util/[email protected] +2 -2
3547   util/[email protected] +2 -2
3550   util/[email protected] +2 -2
3553   util/[email protected] +2 -2
3996   util/[email protected] +2 -2
3999   util/[email protected] +7 -7
4002   util/[email protected] +3 -3
4005   util/[email protected] +2 -2
4008   util/[email protected] +2 -2
4011   util/[email protected] +156 -234
4014   util/[email protected] +2 -2
4017   util/[email protected] +2 -2
4845   util/[email protected] +7 -10
4900   util/[email protected] +4 -4
5110   util/[email protected] +4 -4
5113   util/[email protected] +8 -8
5116   util/[email protected] +1 -1
5119   util/[email protected] +5 -5
5122   util/[email protected] +5 -5
5125   util/[email protected] +4 -4
5128   util/[email protected] +5 -5
5131   util/[email protected] +5 -5
5167   util/[email protected] +1 -1
5187   util/[email protected] +1 -1
5190   util/[email protected] +8 -4
5234   util/[email protected] +0 -3
5411   util/[email protected] +1 -1
5414   util/[email protected] +1 -1
5759   util/[email protected] +115 -115
5762   util/[email protected] +13 -4
6579   libntp/lib/isc/include/isc/util[email protected] +0 -0
6580     Rename: libntp/lib/isc/include/isc/util.h -> libntp/lib/isc/include/isc/util.h
6582   libntp/lib/isc/include/isc/util[email protected] +0 -0
6583     Rename: lib/isc/include/isc/util.h -> libntp/lib/isc/include/isc/util.h
7719   util/[email protected] +1 -1
8085   sntp/libevent/include/event2/util[email protected] +57 -6
8331   sntp/libevent/util[email protected] +79 -7
9571   util/[email protected] +2 -2
9574   util/[email protected] +7 -7
9577   util/[email protected] +3 -3
9580   util/[email protected] +2 -2
9583   util/[email protected] +2 -2
9586   util/[email protected] +2 -2
9589   util/[email protected] +2 -2
9592   util/[email protected] +2 -2
10268   util/[email protected] +2 -2
10271   util/[email protected] +7 -7
10274   util/[email protected] +3 -3
10277   util/[email protected] +2 -2
10280   util/[email protected] +1 -1
10283   util/[email protected] +2 -2
10286   util/[email protected] +2 -2
10289   util/[email protected] +1 -1
10599   util/[email protected] +1 -1
10602   util/[email protected] +2 -2
10605   util/[email protected] +3 -3
10608   util/[email protected] +2 -2
10611   util/[email protected] +2 -2
10614   util/[email protected] +1 -1
10617   util/[email protected] +2 -2
10620   util/[email protected] +2 -2
10711   util/[email protected] +1 -1
10714   util/[email protected] +1 -1
10717   util/[email protected] +1 -1
11198   util/[email protected] +1 -1
11201   util/[email protected] +5 -5
11204   util/[email protected] +4 -4
11207   util/[email protected] +3 -3
11210   util/[email protected] +3 -3
11213   util/[email protected] +3 -3
11216   util/[email protected] +3 -3
13005   util/[email protected] +2 -2
13008   util/[email protected] +8 -8
13011   util/[email protected] +5 -5
13014   util/[email protected] +3 -3
13017   util/[email protected] +2 -2
13020   util/[email protected] +1184 -1025
13023   util/[email protected] +3 -3
13026   util/[email protected] +2 -2
13126   util/[email protected] +39 -44
13361   util/[email protected] +0 -4
13781   util/[email protected] +2 -2
13784   util/[email protected] +7 -7
13787   util/[email protected] +3 -3
13790   util/[email protected] +3 -3
13793   util/[email protected] +2 -2
13796   util/[email protected] +148 -206
13799   util/[email protected] +3 -3
13802   util/[email protected] +2 -2
14003   util/[email protected] +21 -19
14006   util/[email protected] +1 -1
14009   util/[email protected] +1 -1
14012   util/[email protected] +1 -1
14015   util/[email protected] +4 -4
14018   util/[email protected] +3 -3
14021   util/[email protected] +208 -150
14024   util/[email protected] +4 -4
14027   util/[email protected] +3 -3
14030   util/[email protected] +1 -1
14624   util/[email protected] +4 -4
14947   util/[email protected] +18 -20
14950   util/[email protected] +7 -7
14953   util/[email protected] +3 -3
14956   util/[email protected] +3 -3
14959   util/[email protected] +1 -1
14962   util/[email protected] +149 -207
14965   util/[email protected] +3 -3
14968   util/[email protected] +1 -1
15283   util/[email protected] +2 -2
15286   util/[email protected] +174 -174
15289   util/[email protected] +3 -3
15292   util/[email protected] +2 -2
15295   util/[email protected] +2 -2
15298   util/[email protected] +2 -2
15301   util/[email protected] +2 -2
17828   util/[email protected] +2 -2
17831   util/[email protected] +173 -173
17834   util/[email protected] +3 -3
17837   util/[email protected] +2 -2
17840   util/[email protected] +2 -2
17843   util/[email protected] +608 -448
17846   util/[email protected] +2 -2
17849   util/[email protected] +2 -2
18208   util/[email protected] +17 -15
18211   util/[email protected] +173 -173
18214   util/[email protected] +3 -3
18217   util/[email protected] +3 -3
18220   util/[email protected] +1 -1
18223   util/[email protected] +2 -2
18226   util/[email protected] +3 -3
18229   util/[email protected] +1 -1
18542   util/[email protected] +15 -17
18545   util/[email protected] +173 -173
18548   util/[email protected] +3 -3
18551   util/[email protected] +3 -3
18554   util/[email protected] +2 -2
18557   util/[email protected] +1006 -1082
18560   util/[email protected] +3 -3
18563   util/[email protected] +2 -2
18896   util/[email protected] +597 -426
18899   util/[email protected] +155 -154
18902   util/[email protected] +17 -17
18905   util/[email protected] +591 -440
18908   util/[email protected] +570 -418
18911   util/[email protected] +1414 -1271
18914   util/[email protected] +591 -440
18917   util/[email protected] +570 -418
18983   util/[email protected] +597 -426
18986   util/[email protected] +155 -154
18989   util/[email protected] +17 -17
18992   util/[email protected] +591 -440
18995   util/[email protected] +570 -418
18998   util/[email protected] +1031 -1048
19001   util/[email protected] +591 -440
19004   util/[email protected] +570 -418
19024 …ntpq/ntpq-opts.def restore Ba to | as unsupported by mdoc; util/ntp-keygen-opts.def restore Ba to …
19029   util/[email protected] +5 -5
19033 …packageinfo.sh comment out special win, util/ntp-keygen-opts.def quote @ { } with prefix @ for tex…
19038   util/[email protected] +12 -12
19042   clean up ntpq/ntpq-opts.def and util/ntp-keygen-opts.def:
19064   util/[email protected] +584 -426
19522   util/[email protected] +5 -2
19525   util/[email protected] +1083 -1007
19601   util/[email protected] +4 -8
20023   util/[email protected] +2 -2
20026   util/[email protected] +173 -173
20029   util/[email protected] +3 -3
20032   util/[email protected] +3 -3
20035   util/[email protected] +2 -2
20038   util/[email protected] +2 -2
20041   util/[email protected] +3 -3
20044   util/[email protected] +2 -2
20177   util/[email protected] +17 -5
20483   util/[email protected] +1 -1
20486   util/[email protected] +4 -4
20489   util/[email protected] +2 -2
20492   util/[email protected] +4 -4
20495   util/[email protected] +3 -3
20498   util/[email protected] +4 -4
20501   util/[email protected] +3 -3
21053   util/[email protected] +2 -2
21056   util/[email protected] +172 -172
21059   util/[email protected] +3 -3
21062   util/[email protected] +3 -3
21065   util/[email protected] +2 -2
21068   util/[email protected] +157 -216
21071   util/[email protected] +3 -3
21074   util/[email protected] +2 -2
21633   util/[email protected] +2 -2
21636   util/[email protected] +172 -172
21639   util/[email protected] +3 -3
21642   util/[email protected] +3 -3
21645   util/[email protected] +2 -2
21648   util/[email protected] +183 -124
21651   util/[email protected] +3 -3
21654   util/[email protected] +2 -2
22185   util/[email protected] +217 -150
22305   util/[email protected] +147 -131
23021   util/[email protected] +2 -2
23024   util/[email protected] +7 -7
23027   util/[email protected] +3 -3
23030   util/[email protected] +3 -3
23033   util/[email protected] +2 -2
23036   util/[email protected] +2 -2
23039   util/[email protected] +3 -3
23042   util/[email protected] +2 -2
23815   util/[email protected] +2 -2
23818   util/[email protected] +7 -7
23821   util/[email protected] +3 -3
23824   util/[email protected] +3 -3
23827   util/[email protected] +2 -2
23830   util/[email protected] +2 -2
23833   util/[email protected] +3 -3
23836   util/[email protected] +2 -2
24942   util/[email protected] +2 -2
24945   util/[email protected] +10 -10
24948   util/[email protected] +4 -4
24951   util/[email protected] +4 -4
24954   util/[email protected] +3 -3
24957   util/[email protected] +2 -2
24960   util/[email protected] +4 -4
24963   util/[email protected] +3 -3
25567   util/[email protected] +2 -2
25570   util/[email protected] +7 -7
25573   util/[email protected] +3 -3
25576   util/[email protected] +3 -3
25579   util/[email protected] +2 -2
25582   util/[email protected] +2 -2
25585   util/[email protected] +3 -3
25588   util/[email protected] +2 -2
26910   util/[email protected] +3 -3
27404   util/[email protected] +2 -2
27407   util/[email protected] +173 -173
27410   util/[email protected] +3 -3
27413   util/[email protected] +3 -3
27416   util/[email protected] +2 -2
27419   util/[email protected] +157 -216
27422   util/[email protected] +3 -3
27425   util/[email protected] +2 -2
27780   util/[email protected] +2 -2
27783   util/[email protected] +173 -173
27786   util/[email protected] +3 -3
27789   util/[email protected] +3 -3
27792   util/[email protected] +2 -2
27795   util/[email protected] +216 -157
27798   util/[email protected] +3 -3
27801   util/[email protected] +2 -2
28182   util/[email protected] +2 -2
28185   util/[email protected] +173 -173
28188   util/[email protected] +3 -3
28191   util/[email protected] +3 -3
28194   util/[email protected] +2 -2
28197   util/[email protected] +2 -2
28200   util/[email protected] +3 -3
28203   util/[email protected] +2 -2
29978   util/[email protected] +1 -1
29981   util/[email protected] +1 -1
30621   util/ntptime.c: initialization nit.  Harlan Stenn.
30624     util/ntptime.c: initialization nit.  Harlan Stenn.
30626   util/[email protected] +1 -1
30627     util/ntptime.c: initialization nit.  Harlan Stenn.
30718   util/[email protected] +2 -2
32236   util/[email protected] +2 -2
32239   util/[email protected] +173 -173
32242   util/[email protected] +3 -3
32245   util/[email protected] +3 -3
32248   util/[email protected] +2 -2
32251   util/[email protected] +2 -2
32254   util/[email protected] +3 -3
32257   util/[email protected] +2 -2
32734   util/[email protected] +2 -2
32737   util/[email protected] +7 -7
32740   util/[email protected] +3 -3
32743   util/[email protected] +3 -3
32746   util/[email protected] +2 -2
32749   util/[email protected] +2 -2
32752   util/[email protected] +3 -3
32755   util/[email protected] +2 -2
33480   util/[email protected] +2 -2
33483   util/[email protected] +7 -7
33486   util/[email protected] +3 -3
33489   util/[email protected] +18 -18
33492   util/[email protected] +2 -2
33495   util/[email protected] +2 -2
33498   util/[email protected] +18 -18
33501   util/[email protected] +2 -2
37505   util/[email protected] +2 -2
37508   util/[email protected] +198 -198
37511   util/[email protected] +3 -3
37514   util/[email protected] +3 -3
37517   util/[email protected] +2 -2
37520   util/[email protected] +2 -2
37523   util/[email protected] +3 -3
37526   util/[email protected] +2 -2
38990   util/[email protected] +2 -2
38993   util/[email protected] +173 -173
38996   util/[email protected] +3 -3
38999   util/[email protected] +3 -3
39002   util/[email protected] +2 -2
39005   util/[email protected] +2 -2
39008   util/[email protected] +3 -3
39011   util/[email protected] +2 -2
39362   util/[email protected] +2 -2
39365   util/[email protected] +7 -7
39368   util/[email protected] +3 -3
39371   util/[email protected] +3 -3
39374   util/[email protected] +1 -1
39377   util/[email protected] +2 -2
39380   util/[email protected] +3 -3
39383   util/[email protected] +1 -1
39705   util/[email protected] +2 -2
39708   util/[email protected] +7 -7
39711   util/[email protected] +3 -3
39714   util/[email protected] +3 -3
39717   util/[email protected] +2 -2
39720   util/[email protected] +2 -2
39723   util/[email protected] +3 -3
39726   util/[email protected] +2 -2
39864   util/[email protected] +4 -4
40239   util/[email protected] +2 -2
40242   util/[email protected] +173 -173
40245   util/[email protected] +3 -3
40248   util/[email protected] +3 -3
40251   util/[email protected] +2 -2
40254   util/[email protected] +2 -2
40257   util/[email protected] +3 -3
40260   util/[email protected] +2 -2
40886   util/[email protected] +7 -1
40911   util/[email protected] +1 -1
40929   util/[email protected] +6 -2
40938   util/[email protected] +5 -1
40984     Delete: util/jitter.h
40989   util/[email protected] +1 -2
41188   sntp/libevent/include/event2/util[email protected] +69 -0
41284   sntp/libevent/util[email protected] +1 -1
41588   util/[email protected] +2 -2
41591   util/[email protected] +173 -173
41594   util/[email protected] +3 -3
41597   util/[email protected] +3 -3
41600   util/[email protected] +2 -2
41603   util/[email protected] +2 -2
41606   util/[email protected] +3 -3
41609   util/[email protected] +2 -2
41916   util/[email protected] +2 -2
41919   util/[email protected] +7 -7
41922   util/[email protected] +3 -3
41925   util/[email protected] +3 -3
41928   util/[email protected] +2 -2
41931   util/[email protected] +2 -2
41934   util/[email protected] +3 -3
41937   util/[email protected] +2 -2
42310   util/[email protected] +2 -2
42313   util/[email protected] +185 -183
42316   util/[email protected] +5 -5
42319   util/[email protected] +5 -5
42322   util/[email protected] +4 -4
42325   util/[email protected] +2 -2
42328   util/[email protected] +5 -5
42331   util/[email protected] +4 -4
42608   util/[email protected] +12 -2
42611   util/[email protected] +174 -198
42614   util/[email protected] +3 -11
42617   util/[email protected] +15 -6
42620   util/[email protected] +14 -5
42623   util/[email protected] +15 -6
42626   util/[email protected] +14 -5
42918   util/[email protected] +2 -2
42921   util/[email protected] +7 -7
42924   util/[email protected] +3 -3
42927   util/[email protected] +3 -3
42930   util/[email protected] +2 -2
42933   util/[email protected] +2 -2
42936   util/[email protected] +3 -3
42939   util/[email protected] +2 -2
43276   util/[email protected] +2 -2
43279   util/[email protected] +7 -7
43282   util/[email protected] +3 -3
43285   util/[email protected] +3 -3
43288   util/[email protected] +2 -2
43291   util/[email protected] +2 -2
43294   util/[email protected] +3 -3
43297   util/[email protected] +2 -2
43634   util/[email protected] +2 -2
43637   util/[email protected] +9 -9
43640   util/[email protected] +3 -3
43643   util/[email protected] +3 -3
43646   util/[email protected] +2 -2
43649   util/[email protected] +2 -2
43652   util/[email protected] +3 -3
43655   util/[email protected] +2 -2
44094   util/[email protected] +3 -3
44097   util/[email protected] +2 -2
44100   util/[email protected] +26 -25
44103   util/[email protected] +5 -4
44395   util/[email protected] +2 -2
44398   util/[email protected] +7 -7
44401   util/[email protected] +3 -3
44404   util/[email protected] +3 -3
44407   util/[email protected] +2 -2
44410   util/[email protected] +2 -2
44413   util/[email protected] +3 -3
44416   util/[email protected] +2 -2
44750   util/[email protected] +2 -2
44753   util/[email protected] +173 -173
44756   util/[email protected] +3 -3
44759   util/[email protected] +3 -3
44762   util/[email protected] +2 -2
44765   util/[email protected] +2 -2
44768   util/[email protected] +3 -3
44771   util/[email protected] +2 -2
44807   util/[email protected] +1 -0
45134   util/[email protected] +2 -2
45137   util/[email protected] +173 -173
45140   util/[email protected] +3 -3
45143   util/[email protected] +3 -3
45146   util/[email protected] +2 -2
45149   util/[email protected] +2 -2
45152   util/[email protected] +3 -3
45155   util/[email protected] +2 -2
45191   util/[email protected] +2 -2
45513   util/[email protected] +2 -2
45516   util/[email protected] +7 -7
45519   util/[email protected] +3 -3
45522   util/[email protected] +3 -3
45525   util/[email protected] +2 -2
45528   util/[email protected] +2 -2
45531   util/[email protected] +3 -3
45534   util/[email protected] +2 -2
45606   util/[email protected] +10 -2
45898   util/[email protected] +2 -2
45901   util/[email protected] +7 -7
45904   util/[email protected] +3 -3
45907   util/[email protected] +3 -3
45910   util/[email protected] +2 -2
45913   util/[email protected] +2 -2
45916   util/[email protected] +3 -3
45919   util/[email protected] +2 -2
46256   util/[email protected] +2 -2
46259   util/[email protected] +172 -172
46262   util/[email protected] +3 -3
46265   util/[email protected] +3 -3
46268   util/[email protected] +2 -2
46271   util/[email protected] +2 -2
46274   util/[email protected] +3 -3
46277   util/[email protected] +2 -2
46575   util/[email protected] +2 -2
46578   util/[email protected] +7 -7
46581   util/[email protected] +3 -3
46584   util/[email protected] +3 -3
46587   util/[email protected] +2 -2
46590   util/[email protected] +2 -2
46593   util/[email protected] +3 -3
46596   util/[email protected] +2 -2
46900   util/[email protected] +2 -2
46903   util/[email protected] +7 -7
46906   util/[email protected] +3 -3
46909   util/[email protected] +3 -3
46912   util/[email protected] +2 -2
46915   util/[email protected] +2 -2
46918   util/[email protected] +3 -3
46921   util/[email protected] +2 -2
47231   util/[email protected] +2 -2
47234   util/[email protected] +7 -7
47237   util/[email protected] +3 -3
47240   util/[email protected] +3 -3
47243   util/[email protected] +2 -2
47246   util/[email protected] +2 -2
47249   util/[email protected] +3 -3
47252   util/[email protected] +2 -2
47592   util/[email protected] +2 -2
47595   util/[email protected] +7 -7
47598   util/[email protected] +3 -3
47601   util/[email protected] +3 -3
47604   util/[email protected] +2 -2
47607   util/[email protected] +2 -2
47610   util/[email protected] +3 -3
47613   util/[email protected] +2 -2
47914   util/[email protected] +2 -2
47917   util/[email protected] +7 -7
47920   util/[email protected] +3 -3
47923   util/[email protected] +3 -3
47926   util/[email protected] +2 -2
47929   util/[email protected] +2 -2
47932   util/[email protected] +3 -3
47935   util/[email protected] +2 -2
48242   util/[email protected] +2 -2
48245   util/[email protected] +7 -7
48248   util/[email protected] +3 -3
48251   util/[email protected] +3 -3
48254   util/[email protected] +2 -2
48257   util/[email protected] +2 -2
48260   util/[email protected] +3 -3
48263   util/[email protected] +2 -2
48591   util/[email protected] +2 -2
48594   util/[email protected] +7 -7
48597   util/[email protected] +3 -3
48600   util/[email protected] +3 -3
48603   util/[email protected] +2 -2
48606   util/[email protected] +2 -2
48609   util/[email protected] +3 -3
48612   util/[email protected] +2 -2
48931   util/[email protected] +2 -2
48934   util/[email protected] +10 -10
48937   util/[email protected] +3 -3
48940   util/[email protected] +3 -3
48943   util/[email protected] +2 -2
48946   util/[email protected] +2 -2
48949   util/[email protected] +3 -3
48952   util/[email protected] +2 -2
48961   util/[email protected] +147 -72
49253   util/[email protected] +2 -2
49256   util/[email protected] +7 -7
49259   util/[email protected] +3 -3
49262   util/[email protected] +3 -3
49265   util/[email protected] +2 -2
49268   util/[email protected] +2 -2
49271   util/[email protected] +3 -3
49274   util/[email protected] +2 -2
49575   util/[email protected] +2 -2
49578   util/[email protected] +7 -7
49581   util/[email protected] +3 -3
49584   util/[email protected] +3 -3
49587   util/[email protected] +2 -2
49590   util/[email protected] +2 -2
49593   util/[email protected] +3 -3
49596   util/[email protected] +2 -2
49909   util/[email protected] +2 -2
49912   util/[email protected] +7 -7
49915   util/[email protected] +3 -3
49918   util/[email protected] +3 -3
49921   util/[email protected] +1 -1
49924   util/[email protected] +2 -2
49927   util/[email protected] +3 -3
49930   util/[email protected] +1 -1
50243   util/[email protected] +2 -2
50246   util/[email protected] +7 -7
50249   util/[email protected] +3 -3
50252   util/[email protected] +3 -3
50255   util/[email protected] +2 -2
50258   util/[email protected] +2 -2
50261   util/[email protected] +3 -3
50264   util/[email protected] +2 -2
50565   util/[email protected] +2 -2
50568   util/[email protected] +7 -7
50571   util/[email protected] +3 -3
50574   util/[email protected] +3 -3
50577   util/[email protected] +2 -2
50580   util/[email protected] +2 -2
50583   util/[email protected] +3 -3
50586   util/[email protected] +2 -2
50917   util/[email protected] +2 -2
50920   util/[email protected] +7 -7
50923   util/[email protected] +3 -3
50926   util/[email protected] +3 -54
50929   util/[email protected] +2 -44
50932   util/[email protected] +2 -2
50935   util/[email protected] +3 -54
50938   util/[email protected] +2 -44
51251   util/[email protected] +2 -2
51254   util/[email protected] +7 -7
51257   util/[email protected] +3 -3
51260   util/[email protected] +16 -6
51263   util/[email protected] +12 -2
51266   util/[email protected] +2 -2
51269   util/[email protected] +16 -6
51272   util/[email protected] +12 -2
51573   util/[email protected] +2 -2
51576   util/[email protected] +7 -7
51579   util/[email protected] +3 -3
51582   util/[email protected] +44 -3
51585   util/[email protected] +32 -1
51588   util/[email protected] +2 -2
51591   util/[email protected] +44 -3
51594   util/[email protected] +32 -1
51861   util/[email protected] +1 -1
51864   util/[email protected] +1 -1
51867   util/[email protected] +1 -1
51870   util/[email protected] +3 -32
51873   util/[email protected] +3 -21
51876   util/[email protected] +3 -32
51879   util/[email protected] +3 -21
52180   util/[email protected] +2 -2
52183   util/[email protected] +7 -7
52186   util/[email protected] +3 -3
52189   util/[email protected] +6 -6
52192   util/[email protected] +2 -2
52195   util/[email protected] +2 -2
52198   util/[email protected] +6 -6
52201   util/[email protected] +2 -2
52511   util/[email protected] +2 -2
52514   util/[email protected] +7 -7
52517   util/[email protected] +3 -3
52520   util/[email protected] +6 -6
52523   util/[email protected] +2 -2
52526   util/[email protected] +2 -4
52529   util/[email protected] +6 -6
52532   util/[email protected] +2 -2
52831   util/[email protected] +2 -4
52834   util/[email protected] +7 -7
52837   util/[email protected] +3 -3
52840   util/[email protected] +6 -6
52843   util/[email protected] +2 -2
52846   util/[email protected] +2 -2
52849   util/[email protected] +6 -6
52852   util/[email protected] +2 -2
53002   util/[email protected] +1 -1
53005   util/[email protected] +3 -60
53008   util/[email protected] +0 -2
53324   util/[email protected] +2 -2
53327   util/[email protected] +6 -6
53330   util/[email protected] +2 -2
53333   util/[email protected] +6 -6
53336   util/[email protected] +2 -2
53339   util/[email protected] +2 -2
53342   util/[email protected] +6 -6
53345   util/[email protected] +2 -2
53655   util/[email protected] +2 -2
53658   util/[email protected] +6 -6
53661   util/[email protected] +2 -2
53664   util/[email protected] +6 -6
53667   util/[email protected] +2 -2
53670   util/[email protected] +2 -2
53673   util/[email protected] +6 -6
53676   util/[email protected] +2 -2
54000   util/[email protected] +2 -2
54003   util/[email protected] +6 -6
54006   util/[email protected] +2 -2
54009   util/[email protected] +6 -6
54012   util/[email protected] +2 -2
54015   util/[email protected] +2 -2
54018   util/[email protected] +6 -6
54021   util/[email protected] +2 -2
54367   util/[email protected] +2 -2
54370   util/[email protected] +6 -6
54373   util/[email protected] +2 -2
54376   util/[email protected] +6 -6
54379   util/[email protected] +2 -2
54382   util/[email protected] +2 -2
54385   util/[email protected] +6 -6
54388   util/[email protected] +2 -2
54716   util/[email protected] +2 -2
54719   util/[email protected] +6 -6
54722   util/[email protected] +2 -2
54725   util/[email protected] +4 -4
54728   util/[email protected] +1 -1
54731   util/[email protected] +2 -2
54734   util/[email protected] +4 -4
54737   util/[email protected] +1 -1
55149   util/[email protected] +2 -2
55152   util/[email protected] +6 -6
55155   util/[email protected] +2 -2
55158   util/[email protected] +4 -4
55161   util/[email protected] +1 -1
55164   util/[email protected] +2 -2
55167   util/[email protected] +4 -4
55170   util/[email protected] +1 -1
55519   util/[email protected] +1 -1
55522   util/[email protected] +6 -6
55525   util/[email protected] +2 -2
55528   util/[email protected] +4 -4
55531   util/[email protected] +1 -1
55534   util/[email protected] +2 -2
55537   util/[email protected] +4 -4
55540   util/[email protected] +1 -1
55900   util/[email protected] +2 -2
55903   util/[email protected] +6 -6
55906   util/[email protected] +2 -2
55909   util/[email protected] +6 -6
55912   util/[email protected] +2 -2
55915   util/[email protected] +2 -2
55918   util/[email protected] +6 -6
55921   util/[email protected] +2 -2
56038   util/[email protected] +7 -7
56041   util/[email protected] +3 -3
56164   util/[email protected] +8 -8
56167   util/[email protected] +13 -13
56507   util/[email protected] +2 -2
56510   util/[email protected] +7 -7
56513   util/[email protected] +3 -3
56516   util/[email protected] +13 -13
56519   util/[email protected] +2 -2
56522   util/[email protected] +2 -2
56525   util/[email protected] +13 -13
56528   util/[email protected] +2 -2
56822   util/[email protected] +2 -2
56825   util/[email protected] +7 -7
56828   util/[email protected] +3 -3
56831   util/[email protected] +13 -13
56834   util/[email protected] +2 -2
56837   util/[email protected] +2 -2
56840   util/[email protected] +13 -13
56843   util/[email protected] +2 -2
57153   util/[email protected] +2 -2
57156   util/[email protected] +7 -7
57159   util/[email protected] +3 -3
57162   util/[email protected] +6 -6
57165   util/[email protected] +2 -2
57168   util/[email protected] +2 -2
57171   util/[email protected] +6 -6
57174   util/[email protected] +2 -2
57288   util/[email protected] +2 -2
57291   util/[email protected] +11 -11
57666   util/[email protected] +2 -2
57669   util/[email protected] +7 -7
57672   util/[email protected] +3 -3
57675   util/[email protected] +6 -6
57678   util/[email protected] +2 -2
57681   util/[email protected] +2 -2
57684   util/[email protected] +6 -6
57687   util/[email protected] +2 -2
57964   util/[email protected] +2 -2
57967   util/[email protected] +7 -7
57970   util/[email protected] +3 -3
57973   util/[email protected] +6 -6
57976   util/[email protected] +2 -2
57979   util/[email protected] +2 -2
57982   util/[email protected] +6 -6
57985   util/[email protected] +2 -2
58484   util/[email protected] +2 -2
58487   util/[email protected] +7 -7
58490   util/[email protected] +3 -3
58493   util/[email protected] +6 -6
58496   util/[email protected] +2 -2
58499   util/[email protected] +2 -2
58502   util/[email protected] +6 -6
58505   util/[email protected] +2 -2
58912   util/[email protected] +2 -2
58915   util/[email protected] +7 -7
58918   util/[email protected] +3 -3
58921   util/[email protected] +6 -6
58924   util/[email protected] +1 -1
58927   util/[email protected] +2 -2
58930   util/[email protected] +6 -6
58933   util/[email protected] +1 -1
59222   util/[email protected] +2 -2
59225   util/[email protected] +7 -7
59228   util/[email protected] +3 -3
59231   util/[email protected] +6 -6
59234   util/[email protected] +2 -2
59237   util/[email protected] +2 -2
59240   util/[email protected] +6 -6
59243   util/[email protected] +2 -2
59569   util/[email protected] +2 -2
59572   util/[email protected] +7 -7
59575   util/[email protected] +3 -3
59578   util/[email protected] +6 -6
59581   util/[email protected] +2 -2
59584   util/[email protected] +2 -2
59587   util/[email protected] +6 -6
59590   util/[email protected] +2 -2
59891   util/[email protected] +2 -2
59894   util/[email protected] +7 -7
59897   util/[email protected] +3 -3
59900   util/[email protected] +6 -6
59903   util/[email protected] +2 -2
59906   util/[email protected] +2 -2
59909   util/[email protected] +6 -6
59912   util/[email protected] +2 -2
60234   util/[email protected] +2 -2
60237   util/[email protected] +7 -7
60240   util/[email protected] +3 -3
60243   util/[email protected] +6 -6
60246   util/[email protected] +2 -2
60249   util/[email protected] +2 -2
60252   util/[email protected] +6 -6
60255   util/[email protected] +2 -2
60586   util/[email protected] +2 -2
60589   util/[email protected] +7 -7
60592   util/[email protected] +3 -3
60595   util/[email protected] +6 -6
60598   util/[email protected] +2 -2
60601   util/[email protected] +2 -2
60604   util/[email protected] +6 -6
60607   util/[email protected] +2 -2
60923   util/[email protected] +2 -2
60926   util/[email protected] +7 -7
60929   util/[email protected] +3 -3
60932   util/[email protected] +6 -6
60935   util/[email protected] +2 -2
60938   util/[email protected] +2 -2
60941   util/[email protected] +6 -6
60944   util/[email protected] +2 -2
61221   util/[email protected] +2 -2
61224   util/[email protected] +10 -10
61227   util/[email protected] +4 -4
61230   util/[email protected] +7 -7
61233   util/[email protected] +3 -3
61236   util/[email protected] +2 -2
61239   util/[email protected] +7 -7
61242   util/[email protected] +3 -3
61525   util/[email protected] +2 -2
61528   util/[email protected] +7 -7
61531   util/[email protected] +3 -3
61534   util/[email protected] +6 -6
61537   util/[email protected] +2 -2
61540   util/[email protected] +2 -2
61543   util/[email protected] +6 -6
61546   util/[email protected] +2 -2
61871   util/[email protected] +2 -2
61874   util/[email protected] +7 -7
61877   util/[email protected] +3 -3
61880   util/[email protected] +6 -6
61883   util/[email protected] +2 -2
61886   util/[email protected] +2 -2
61889   util/[email protected] +6 -6
61892   util/[email protected] +2 -2
62206   util/[email protected] +2 -2
62209   util/[email protected] +7 -7
62212   util/[email protected] +3 -3
62215   util/[email protected] +6 -6
62218   util/[email protected] +2 -2
62221   util/[email protected] +2 -2
62224   util/[email protected] +6 -6
62227   util/[email protected] +2 -2
62513   util/[email protected] +2 -2
62516   util/[email protected] +7 -7
62519   util/[email protected] +3 -3
62522   util/[email protected] +6 -6
62525   util/[email protected] +2 -2
62528   util/[email protected] +2 -2
62531   util/[email protected] +6 -6
62534   util/[email protected] +2 -2
62829   util/[email protected] +2 -2
62832   util/[email protected] +7 -7
62835   util/[email protected] +3 -3
62838   util/[email protected] +6 -6
62841   util/[email protected] +2 -2
62844   util/[email protected] +2 -2
62847   util/[email protected] +6 -6
62850   util/[email protected] +2 -2
63136   util/[email protected] +2 -2
63139   util/[email protected] +7 -7
63142   util/[email protected] +3 -3
63145   util/[email protected] +6 -6
63148   util/[email protected] +1 -1
63151   util/[email protected] +2 -2
63154   util/[email protected] +6 -6
63157   util/[email protected] +1 -1
63470   util/[email protected] +2 -2
63473   util/[email protected] +7 -7
63476   util/[email protected] +3 -3
63479   util/[email protected] +32 -3
63482   util/[email protected] +20 -1
63485   util/[email protected] +124 -183
63488   util/[email protected] +32 -3
63491   util/[email protected] +20 -1
64124   util/[email protected] +1 -1
64130   util/[email protected] +6 -6
64136   util/[email protected] +0 -1
64142   util/[email protected] +8 -3
64148   util/[email protected] +3 -33
64154   util/[email protected] +2 -22
64160   util/[email protected] +182 -123
64166   util/[email protected] +3 -33
64172   util/[email protected] +2 -22
64617   util/[email protected] +2 -2
64620   util/[email protected] +7 -7
64623   util/[email protected] +3 -3
64626   util/[email protected] +7 -7
64629   util/[email protected] +3 -3
64632   util/[email protected] +2 -2
64635   util/[email protected] +7 -7
64638   util/[email protected] +3 -3
64963   util/[email protected] +2 -2
64966   util/[email protected] +7 -7
64969   util/[email protected] +3 -3
64972   util/[email protected] +7 -7
64975   util/[email protected] +3 -3
64978   util/[email protected] +2 -2
64981   util/[email protected] +7 -7
64984   util/[email protected] +3 -3
65300   util/[email protected] +2 -2
65303   util/[email protected] +7 -7
65306   util/[email protected] +3 -3
65309   util/[email protected] +7 -7
65312   util/[email protected] +3 -3
65315   util/[email protected] +2 -2
65318   util/[email protected] +7 -7
65321   util/[email protected] +3 -3
65688   util/[email protected] +2 -2
65691   util/[email protected] +7 -7
65694   util/[email protected] +3 -3
65697   util/[email protected] +7 -7
65700   util/[email protected] +3 -3
65703   util/[email protected] +2 -2
65706   util/[email protected] +7 -7
65709   util/[email protected] +3 -3
65995   util/[email protected] +2 -2
65998   util/[email protected] +7 -7
66001   util/[email protected] +3 -3
66004   util/[email protected] +7 -7
66007   util/[email protected] +3 -3
66010   util/[email protected] +2 -2
66013   util/[email protected] +7 -7
66016   util/[email protected] +3 -3
66311   util/[email protected] +2 -2
66314   util/[email protected] +7 -7
66317   util/[email protected] +3 -3
66320   util/[email protected] +7 -7
66323   util/[email protected] +3 -3
66326   util/[email protected] +2 -2
66329   util/[email protected] +7 -7
66332   util/[email protected] +3 -3
66535   sntp/libevent/include/event2/util[email protected] +47 -3
66675   sntp/libevent/util[email protected] +4 -0
66958   util/[email protected] +2 -2
66961   util/[email protected] +7 -7
66964   util/[email protected] +3 -3
66967   util/[email protected] +7 -7
66970   util/[email protected] +3 -3
66973   util/[email protected] +2 -2
66976   util/[email protected] +7 -7
66979   util/[email protected] +3 -3
67335   util/[email protected] +2 -2
67338   util/[email protected] +7 -7
67341   util/[email protected] +3 -3
67344   util/[email protected] +7 -7
67347   util/[email protected] +2 -2
67350   util/[email protected] +2 -2
67353   util/[email protected] +7 -7
67356   util/[email protected] +2 -2
67642   util/[email protected] +2 -2
67645   util/[email protected] +7 -7
67648   util/[email protected] +3 -3
67651   util/[email protected] +7 -7
67654   util/[email protected] +3 -3
67657   util/[email protected] +2 -2
67660   util/[email protected] +7 -7
67663   util/[email protected] +3 -3
68018   util/[email protected] +2 -2
68021   util/[email protected] +7 -7
68024   util/[email protected] +3 -3
68027   util/[email protected] +1250 -0
68030   util/[email protected] +3 -3
68033   util/[email protected] +2 -2
68036   util/[email protected] +1250 -0
68039   util/[email protected] +3 -3
68376   util/[email protected] +2 -2
68379   util/[email protected] +7 -7
68382   util/[email protected] +3 -3
68385   util/[email protected] +0 -1250
68388   util/[email protected] +3 -3
68391   util/[email protected] +2 -2
68394   util/[email protected] +0 -1250
68397   util/[email protected] +3 -3
68689   util/[email protected] +2 -2
68692   util/[email protected] +7 -7
68695   util/[email protected] +3 -3
68698   util/[email protected] +7 -7
68701   util/[email protected] +3 -3
68704   util/[email protected] +2 -2
68707   util/[email protected] +7 -7
68710   util/[email protected] +3 -3
68996   util/[email protected] +2 -2
68999   util/[email protected] +7 -7
69002   util/[email protected] +3 -3
69005   util/[email protected] +7 -7
69008   util/[email protected] +3 -3
69011   util/[email protected] +2 -2
69014   util/[email protected] +7 -7
69017   util/[email protected] +3 -3
69324   util/[email protected] +2 -2
69327   util/[email protected] +7 -7
69330   util/[email protected] +3 -3
69333   util/[email protected] +7 -7
69336   util/[email protected] +3 -3
69339   util/[email protected] +2 -2
69342   util/[email protected] +7 -7
69345   util/[email protected] +3 -3
69713   util/[email protected] +2 -2
69716   util/[email protected] +7 -7
69719   util/[email protected] +3 -3
69722   util/[email protected] +7 -7
69725   util/[email protected] +4 -4
69728   util/[email protected] +2 -2
69731   util/[email protected] +7 -7
69734   util/[email protected] +4 -4
70037   util/[email protected] +2 -2
70040   util/[email protected] +7 -7
70043   util/[email protected] +3 -3
70046   util/[email protected] +7 -7
70049   util/[email protected] +3 -3
70052   util/[email protected] +2 -2
70055   util/[email protected] +7 -7
70058   util/[email protected] +3 -3
70344   util/[email protected] +2 -2
70347   util/[email protected] +7 -7
70350   util/[email protected] +3 -3
70353   util/[email protected] +7 -7
70356   util/[email protected] +3 -3
70359   util/[email protected] +2 -2
70362   util/[email protected] +7 -7
70365   util/[email protected] +3 -3
70638   util/[email protected] +2 -2
70641   util/[email protected] +7 -7
70644   util/[email protected] +3 -3
70647   util/[email protected] +7 -7
70650   util/[email protected] +3 -3
70653   util/[email protected] +2 -2
70656   util/[email protected] +7 -7
70659   util/[email protected] +3 -3
70927   util/[email protected] +2 -2
70930   util/[email protected] +7 -7
70933   util/[email protected] +3 -3
70936   util/[email protected] +7 -7
70939   util/[email protected] +3 -3
70942   util/[email protected] +2 -2
70945   util/[email protected] +7 -7
70948   util/[email protected] +3 -3
71207   util/[email protected] +2 -2
71210   util/[email protected] +7 -7
71213   util/[email protected] +3 -3
71216   util/[email protected] +7 -7
71219   util/[email protected] +3 -3
71222   util/[email protected] +2 -2
71225   util/[email protected] +7 -7
71228   util/[email protected] +3 -3
71617   util/[email protected] +2 -2
71620   util/[email protected] +7 -7
71623   util/[email protected] +3 -3
71626   util/[email protected] +7 -7
71629   util/[email protected] +2 -2
71632   util/[email protected] +27 -20
71635   util/[email protected] +7 -7
71638   util/[email protected] +2 -2
71918   util/[email protected] +24 -17
71921   util/[email protected] +122 -122
71924   util/[email protected] +16 -16
71927   util/[email protected] +23 -16
71930   util/[email protected] +18 -11
71933   util/[email protected] +2 -2
71936   util/[email protected] +23 -16
71939   util/[email protected] +18 -11
71945   util/[email protected] +4 -4
72008   util/[email protected] +14 -7
72324   util/[email protected] +2 -2
72327   util/[email protected] +7 -7
72330   util/[email protected] +3 -3
72333   util/[email protected] +7 -7
72336   util/[email protected] +3 -3
72339   util/[email protected] +2 -2
72342   util/[email protected] +7 -7
72345   util/[email protected] +3 -3
72749   util/[email protected] +2 -2
72752   util/[email protected] +7 -7
72755   util/[email protected] +3 -3
72758   util/[email protected] +7 -7
72761   util/[email protected] +3 -3
72764   util/[email protected] +2 -2
72767   util/[email protected] +7 -7
72770   util/[email protected] +3 -3
73002   util/[email protected] +2 -2
73005   util/[email protected] +7 -7
73008   util/[email protected] +3 -3
73011   util/[email protected] +7 -7
73014   util/[email protected] +3 -3
73017   util/[email protected] +2 -2
73020   util/[email protected] +7 -7
73023   util/[email protected] +3 -3
73255   util/[email protected] +2 -2
73258   util/[email protected] +7 -7
73261   util/[email protected] +3 -3
73264   util/[email protected] +8 -8
73267   util/[email protected] +4 -4
73270   util/[email protected] +2 -2
73273   util/[email protected] +8 -8
73276   util/[email protected] +4 -4
73528   util/[email protected] +2 -2
73531   util/[email protected] +7 -7
73534   util/[email protected] +3 -3
73537   util/[email protected] +7 -7
73540   util/[email protected] +3 -3
73543   util/[email protected] +2 -2
73546   util/[email protected] +7 -7
73549   util/[email protected] +3 -3
73796   util/[email protected] +2 -2
73799   util/[email protected] +7 -7
73802   util/[email protected] +3 -3
73805   util/[email protected] +7 -7
73808   util/[email protected] +2 -2
73811   util/[email protected] +2 -2
73814   util/[email protected] +7 -7
73817   util/[email protected] +2 -2
74040   util/[email protected] +2 -2
74043   util/[email protected] +7 -7
74046   util/[email protected] +3 -3
74049   util/[email protected] +7 -7
74052   util/[email protected] +3 -3
74055   util/[email protected] +2 -2
74058   util/[email protected] +7 -7
74061   util/[email protected] +3 -3
74317   util/[email protected] +2 -2
74320   util/[email protected] +7 -7
74323   util/[email protected] +3 -3
74326   util/[email protected] +7 -7
74329   util/[email protected] +3 -3
74332   util/[email protected] +2 -2
74335   util/[email protected] +7 -7
74338   util/[email protected] +3 -3
74573   util/[email protected] +2 -2
74576   util/[email protected] +7 -7
74579   util/[email protected] +3 -3
74582   util/[email protected] +7 -7
74585   util/[email protected] +3 -3
74588   util/[email protected] +2 -2
74591   util/[email protected] +7 -7
74594   util/[email protected] +3 -3
74859   util/[email protected] +2 -2
74862   util/[email protected] +7 -7
74865   util/[email protected] +3 -3
74868   util/[email protected] +7 -7
74871   util/[email protected] +3 -3
74874   util/[email protected] +2 -2
74877   util/[email protected] +7 -7
74880   util/[email protected] +3 -3
75103   util/[email protected] +2 -2
75106   util/[email protected] +7 -7
75109   util/[email protected] +3 -3
75112   util/[email protected] +7 -7
75115   util/[email protected] +3 -3
75118   util/[email protected] +60 -95
75121   util/[email protected] +7 -7
75124   util/[email protected] +3 -3
75371   util/[email protected] +28 -50
75374   util/[email protected] +7 -7
75377   util/[email protected] +3 -3
75380   util/[email protected] +397 -270
75383   util/[email protected] +37 -33
75386   util/[email protected] +2 -2
75389   util/[email protected] +397 -270
75392   util/[email protected] +37 -33
75898   util/[email protected] +2 -2
75901   util/[email protected] +7 -7
75904   util/[email protected] +3 -3
75907   util/[email protected] +3 -3
75910   util/[email protected] +3 -3
75913   util/[email protected] +2 -2
75916   util/[email protected] +3 -3
75919   util/[email protected] +3 -3
76139   util/[email protected] +2 -2
76142   util/[email protected] +7 -7
76145   util/[email protected] +3 -3
76148   util/[email protected] +3 -3
76151   util/[email protected] +3 -3
76154   util/[email protected] +2 -2
76157   util/[email protected] +3 -3
76160   util/[email protected] +3 -3
76709   scripts/t/util[email protected] +179 -0
76710 … BitKeeper file /a/etc/amd.stage/thump2-g3/export/ntp/home/kindernay/ntp-dev-final/scripts/t/util.t
76712   scripts/t/util[email protected] +0 -0
76758   util/[email protected] +2 -2
76945   util/[email protected] +2 -2
76948   util/[email protected] +7 -7
76951   util/[email protected] +3 -3
76954   util/[email protected] +3 -3
76957   util/[email protected] +3 -3
76960   util/[email protected] +2 -2
76963   util/[email protected] +3 -3
76966   util/[email protected] +3 -3
76987   util/[email protected] +2 -3
77183   util/[email protected] +2 -2
77186   util/[email protected] +7 -7
77189   util/[email protected] +3 -3
77192   util/[email protected] +3 -3
77195   util/[email protected] +3 -3
77198   util/[email protected] +2 -2
77201   util/[email protected] +3 -3
77204   util/[email protected] +3 -3
77421   util/[email protected] +2 -2
77424   util/[email protected] +7 -7
77427   util/[email protected] +3 -3
77430   util/[email protected] +3 -3
77433   util/[email protected] +3 -3
77436   util/[email protected] +2 -2
77439   util/[email protected] +3 -3
77442   util/[email protected] +3 -3
77641   util/[email protected] +2 -2
77644   util/[email protected] +7 -7
77647   util/[email protected] +3 -3
77650   util/[email protected] +3 -3
77653   util/[email protected] +3 -3
77656   util/[email protected] +14 -14
77659   util/[email protected] +3 -3
77662   util/[email protected] +3 -3
77904   util/[email protected] +14 -14
77907   util/[email protected] +10 -9
77910   util/[email protected] +3 -3
77913   util/[email protected] +3 -3
77916   util/[email protected] +3 -3
77919   util/[email protected] +2 -2
77922   util/[email protected] +3 -3
77925   util/[email protected] +3 -3
78166   util/[email protected] +2 -2
78169   util/[email protected] +7 -7
78172   util/[email protected] +3 -3
78175   util/[email protected] +3 -3
78178   util/[email protected] +3 -3
78181   util/[email protected] +2 -2
78184   util/[email protected] +3 -3
78187   util/[email protected] +3 -3
78453   util/[email protected] +2 -2
78456   util/[email protected] +7 -7
78459   util/[email protected] +3 -3
78462   util/[email protected] +3 -3
78465   util/[email protected] +3 -3
78468   util/[email protected] +2 -2
78471   util/[email protected] +3 -3
78474   util/[email protected] +3 -3
78673   util/[email protected] +2 -2
78676   util/[email protected] +7 -7
78679   util/[email protected] +3 -3
78682   util/[email protected] +3 -3
78685   util/[email protected] +3 -3
78688   util/[email protected] +2 -2
78691   util/[email protected] +3 -3
78694   util/[email protected] +3 -3
78920   util/[email protected] +2 -2
78923   util/[email protected] +7 -7
78926   util/[email protected] +3 -3
78929   util/[email protected] +3 -3
78932   util/[email protected] +3 -3
78935   util/[email protected] +2 -2
78938   util/[email protected] +3 -3
78941   util/[email protected] +3 -3
79255   util/[email protected] +2 -2
79258   util/[email protected] +7 -7
79261   util/[email protected] +3 -3
79264   util/[email protected] +3 -3
79267   util/[email protected] +3 -3
79270   util/[email protected] +2 -2
79273   util/[email protected] +3 -3
79276   util/[email protected] +3 -3
79472   util/[email protected] +2 -2
79475   util/[email protected] +7 -7
79478   util/[email protected] +3 -3
79481   util/[email protected] +3 -3
79484   util/[email protected] +3 -3
79487   util/[email protected] +2 -2
79490   util/[email protected] +3 -3
79493   util/[email protected] +3 -3
79719   util/[email protected] +2 -2
79722   util/[email protected] +7 -7
79725   util/[email protected] +3 -3
79728   util/[email protected] +3 -3
79731   util/[email protected] +3 -3
79734   util/[email protected] +2 -2
79737   util/[email protected] +3 -3
79740   util/[email protected] +3 -3
79927   util/[email protected] +2 -2
79930   util/[email protected] +7 -7
79933   util/[email protected] +3 -3
79936   util/[email protected] +3 -3
79939   util/[email protected] +3 -3
79942   util/[email protected] +2 -2
79945   util/[email protected] +3 -3
79948   util/[email protected] +3 -3
80150   util/[email protected] +2 -2
80153   util/[email protected] +7 -7
80156   util/[email protected] +3 -3
80159   util/[email protected] +3 -3
80162   util/[email protected] +3 -3
80165   util/[email protected] +2 -2
80168   util/[email protected] +3 -3
80171   util/[email protected] +3 -3
80377   util/[email protected] +2 -2
80380   util/[email protected] +7 -7
80383   util/[email protected] +3 -3
80386   util/[email protected] +3 -3
80389   util/[email protected] +3 -3
80392   util/[email protected] +2 -2
80395   util/[email protected] +3 -3
80398   util/[email protected] +3 -3
80618   util/[email protected] +2 -2
80621   util/[email protected] +7 -7
80624   util/[email protected] +4 -4
80627   util/[email protected] +3 -3
80630   util/[email protected] +3 -3
80633   util/[email protected] +2 -2
80636   util/[email protected] +3 -3
80639   util/[email protected] +3 -3
80838   util/[email protected] +2 -2
80841   util/[email protected] +7 -7
80844   util/[email protected] +3 -3
80847   util/[email protected] +3 -3
80850   util/[email protected] +3 -3
80853   util/[email protected] +2 -2
80856   util/[email protected] +3 -3
80859   util/[email protected] +3 -3
81052   util/[email protected] +2 -2
81055   util/[email protected] +7 -7
81058   util/[email protected] +3 -3
81061   util/[email protected] +3 -3
81064   util/[email protected] +3 -3
81067   util/[email protected] +2 -2
81070   util/[email protected] +3 -3
81073   util/[email protected] +3 -3
81293   util/[email protected] +2 -2
81296   util/[email protected] +7 -7
81299   util/[email protected] +3 -3
81302   util/[email protected] +3 -3
81305   util/[email protected] +3 -3
81308   util/[email protected] +2 -2
81311   util/[email protected] +3 -3
81314   util/[email protected] +3 -3
81596   util/[email protected] +2 -2
81599   util/[email protected] +7 -7
81602   util/[email protected] +3 -3
81605   util/[email protected] +3 -3
81608   util/[email protected] +3 -3
81611   util/[email protected] +2 -2
81614   util/[email protected] +3 -3
81617   util/[email protected] +3 -3
81826   util/[email protected] +2 -2
81829   util/[email protected] +7 -7
81832   util/[email protected] +3 -3
81835   util/[email protected] +3 -3
81838   util/[email protected] +3 -3
81841   util/[email protected] +2 -2
81844   util/[email protected] +3 -3
81847   util/[email protected] +3 -3
82068   util/[email protected] +2 -2
82071   util/[email protected] +7 -7
82074   util/[email protected] +3 -3
82077   util/[email protected] +22 -3
82080   util/[email protected] +22 -3
82083   util/[email protected] +2 -2
82086   util/[email protected] +22 -3
82089   util/[email protected] +22 -3
82290   util/[email protected] +1 -1
82293   util/[email protected] +67 -67
82296   util/[email protected] +3 -3
82299   util/[email protected] +45 -64
82302   util/[email protected] +3 -22
82305   util/[email protected] +45 -64
82308   util/[email protected] +3 -22
82613   util/[email protected] +2 -2
82616   util/[email protected] +7 -7
82619   util/[email protected] +3 -3
82622   util/[email protected] +3 -3
82625   util/[email protected] +3 -3
82628   util/[email protected] +2 -2
82631   util/[email protected] +3 -3
82634   util/[email protected] +3 -3
82857   util/[email protected] +2 -2
82860   util/[email protected] +7 -7
82863   util/[email protected] +3 -3
82866   util/[email protected] +3 -3
82869   util/[email protected] +3 -3
82872   util/[email protected] +2 -2
82875   util/[email protected] +3 -3
82878   util/[email protected] +3 -3
83074   util/[email protected] +2 -2
83077   util/[email protected] +7 -7
83080   util/[email protected] +3 -3
83083   util/[email protected] +3 -3
83086   util/[email protected] +3 -3
83089   util/[email protected] +2 -2
83092   util/[email protected] +3 -3
83095   util/[email protected] +3 -3
83310   util/[email protected] +2 -2
83313   util/[email protected] +7 -7
83316   util/[email protected] +3 -3
83319   util/[email protected] +3 -3
83322   util/[email protected] +3 -3
83325   util/[email protected] +2 -2
83328   util/[email protected] +3 -3
83331   util/[email protected] +3 -3
83540   util/[email protected] +2 -2
83543   util/[email protected] +7 -7
83546   util/[email protected] +3 -3
83549   util/[email protected] +3 -3
83552   util/[email protected] +3 -3
83555   util/[email protected] +2 -2
83558   util/[email protected] +3 -3
83561   util/[email protected] +3 -3
83802   util/[email protected] +2 -2
83805   util/[email protected] +7 -7
83808   util/[email protected] +3 -3
83811   util/[email protected] +3 -3
83814   util/[email protected] +3 -3
83817   util/[email protected] +4 -2
83820   util/[email protected] +3 -3
83823   util/[email protected] +3 -3
84046   util/[email protected] +4 -3
84049   util/[email protected] +104 -99
84052   util/[email protected] +9 -11
84055   util/[email protected] +36 -35
84058   util/[email protected] +10 -9
84061   util/[email protected] +2 -2
84064   util/[email protected] +36 -35
84067   util/[email protected] +10 -9
84362   util/[email protected] +2 -2
84365   util/[email protected] +7 -7
84368   util/[email protected] +3 -3
84371   util/[email protected] +3 -3
84374   util/[email protected] +3 -3
84377   util/[email protected] +2 -2
84380   util/[email protected] +3 -3
84383   util/[email protected] +3 -3
84666   util/[email protected] +2 -2
84669   util/[email protected] +7 -7
84672   util/[email protected] +3 -3
84675   util/[email protected] +3 -3
84678   util/[email protected] +3 -3
84681   util/[email protected] +2 -2
84684   util/[email protected] +3 -3
84687   util/[email protected] +3 -3
84918   util/[email protected] +2 -2
84921   util/[email protected] +7 -7
84924   util/[email protected] +3 -3
84927   util/[email protected] +3 -3
84930   util/[email protected] +3 -3
84933   util/[email protected] +2 -2
84936   util/[email protected] +3 -3
84939   util/[email protected] +3 -3
85135   util/[email protected] +2 -2
85138   util/[email protected] +7 -7
85141   util/[email protected] +3 -3
85144   util/[email protected] +3 -3
85147   util/[email protected] +3 -3
85150   util/[email protected] +2 -2
85153   util/[email protected] +3 -3
85156   util/[email protected] +3 -3
85362   util/[email protected] +2 -2
85365   util/[email protected] +7 -7
85368   util/[email protected] +3 -3
85371   util/[email protected] +3 -3
85374   util/[email protected] +3 -3
85377   util/[email protected] +2 -2
85380   util/[email protected] +3 -3
85383   util/[email protected] +3 -3
85579   util/[email protected] +2 -2
85582   util/[email protected] +7 -7
85585   util/[email protected] +3 -3
85588   util/[email protected] +3 -3
85591   util/[email protected] +3 -3
85594   util/[email protected] +2 -2
85597   util/[email protected] +3 -3
85600   util/[email protected] +3 -3
85802   util/[email protected] +2 -2
85805   util/[email protected] +7 -7
85808   util/[email protected] +3 -3
85811   util/[email protected] +3 -3
85814   util/[email protected] +2 -2
85817   util/[email protected] +2 -2
85820   util/[email protected] +3 -3
85823   util/[email protected] +2 -2
86019   util/[email protected] +2 -2
86022   util/[email protected] +7 -7
86025   util/[email protected] +3 -3
86028   util/[email protected] +3 -3
86031   util/[email protected] +3 -3
86034   util/[email protected] +2 -2
86037   util/[email protected] +3 -3
86040   util/[email protected] +3 -3
86281   util/[email protected] +2 -2
86284   util/[email protected] +7 -7
86287   util/[email protected] +3 -3
86290   util/[email protected] +3 -3
86293   util/[email protected] +3 -3
86296   util/[email protected] +2 -2
86299   util/[email protected] +3 -3
86302   util/[email protected] +3 -3
86498   util/[email protected] +2 -2
86501   util/[email protected] +10 -11
86504   util/[email protected] +3 -3
86507   util/[email protected] +3 -3
86510   util/[email protected] +3 -3
86513   util/[email protected] +2 -2
86516   util/[email protected] +3 -3
86519   util/[email protected] +3 -3
86727   util/[email protected] +2 -2
86730   util/[email protected] +7 -7
86733   util/[email protected] +3 -3
86736   util/[email protected] +3 -3
86739   util/[email protected] +3 -3
86742   util/[email protected] +3 -3
86745   util/[email protected] +3 -3
86748   util/[email protected] +3 -3
86885   sntp/libevent/include/event2/util[email protected] +5 -1
87028   sntp/libevent/util[email protected] +27 -2
87224   util/[email protected] +3 -3
87227   util/[email protected] +7 -7
87230   util/[email protected] +3 -3
87233   util/[email protected] +3 -3
87236   util/[email protected] +3 -3
87239   util/[email protected] +2 -2
87242   util/[email protected] +3 -3
87245   util/[email protected] +3 -3
87441   util/[email protected] +2 -2
87444   util/[email protected] +179 -88
87447   util/[email protected] +39 -15
87450   util/[email protected] +3 -3
87453   util/[email protected] +3 -3
87456   util/[email protected] +2 -2
87459   util/[email protected] +3 -3
87462   util/[email protected] +3 -3
87706   util/[email protected] +2 -2
87709   util/[email protected] +7 -7
87712   util/[email protected] +3 -3
87715   util/[email protected] +3 -3
87718   util/[email protected] +2 -2
87721   util/[email protected] +12 -13
87724   util/[email protected] +3 -3
87727   util/[email protected] +2 -2
87901   util/[email protected] +13 -14
87904   util/[email protected] +457 -45
87907   util/[email protected] +6 -6
87910   util/[email protected] +3 -3
87913   util/[email protected] +3 -3
87916   util/[email protected] +3 -3
87919   util/[email protected] +3 -3
88250   util/[email protected] +2 -2
88253   util/[email protected] +4 -4
88256   util/[email protected] +3 -3
88259   util/[email protected] +3 -3
88262   util/[email protected] +3 -3
88265   util/[email protected] +2 -2
88268   util/[email protected] +3 -3
88271   util/[email protected] +3 -3
88469   util/[email protected] +2 -2
88472   util/[email protected] +4 -4
88475   util/[email protected] +3 -3
88478   util/[email protected] +3 -3
88481   util/[email protected] +3 -3
88484   util/[email protected] +2 -2
88487   util/[email protected] +3 -3
88490   util/[email protected] +3 -3
88499   util/[email protected] +1 -1
88731   util/[email protected] +2 -2
88734   util/[email protected] +4 -4
88737   util/[email protected] +3 -3
88740   util/[email protected] +3 -3
88743   util/[email protected] +3 -3
88746   util/[email protected] +2 -2
88749   util/[email protected] +3 -3
88752   util/[email protected] +3 -3
89002   util/[email protected] +2 -2
89005   util/[email protected] +4 -4
89008   util/[email protected] +3 -3
89011   util/[email protected] +3 -3
89014   util/[email protected] +3 -3
89017   util/[email protected] +2 -2
89020   util/[email protected] +3 -3
89023   util/[email protected] +3 -3
89222   util/[email protected] +2 -2
89225   util/[email protected] +4 -4
89228   util/[email protected] +3 -3
89231   util/[email protected] +3 -3
89234   util/[email protected] +3 -3
89237   util/[email protected] +2 -2
89240   util/[email protected] +3 -3
89243   util/[email protected] +3 -3
89454   util/[email protected] +2 -2
89457   util/[email protected] +4 -4
89460   util/[email protected] +3 -3
89463   util/[email protected] +3 -3
89466   util/[email protected] +3 -3
89469   util/[email protected] +2 -2
89472   util/[email protected] +3 -3
89475   util/[email protected] +3 -3
89671   util/[email protected] +2 -2
89674   util/[email protected] +4 -4
89677   util/[email protected] +3 -3
89680   util/[email protected] +3 -3
89683   util/[email protected] +3 -3
89686   util/[email protected] +2 -2
89689   util/[email protected] +3 -3
89692   util/[email protected] +3 -3
89890   util/[email protected] +2 -2
89893   util/[email protected] +4 -4
89896   util/[email protected] +3 -3
89899   util/[email protected] +3 -3
89902   util/[email protected] +3 -3
89905   util/[email protected] +2 -2
89908   util/[email protected] +3 -3
89911   util/[email protected] +3 -3
90111   util/[email protected] +2 -2
90114   util/[email protected] +4 -4
90117   util/[email protected] +3 -3
90120   util/[email protected] +3 -3
90123   util/[email protected] +3 -3
90126   util/[email protected] +2 -2
90129   util/[email protected] +3 -3
90132   util/[email protected] +3 -3
90403   util/[email protected] +2 -2
90406   util/[email protected] +4 -4
90409   util/[email protected] +3 -3
90412   util/[email protected] +3 -3
90415   util/[email protected] +3 -3
90418   util/[email protected] +2 -23
90421   util/[email protected] +3 -3
90424   util/[email protected] +3 -3
90620   util/[email protected] +2 -22
90623   util/[email protected] +5 -5
90626   util/[email protected] +5 -5
90629   util/[email protected] +9 -5
90632   util/[email protected] +9 -5
90635   util/[email protected] +5 -5
90638   util/[email protected] +9 -5
90641   util/[email protected] +9 -5
91011   util/[email protected] +5 -5
91014   util/[email protected] +4 -4
91017   util/[email protected] +3 -3
91020   util/[email protected] +32 -14
91023   util/[email protected] +74 -59
91026   util/[email protected] +233 -205
91029   util/[email protected] +32 -14
91032   util/[email protected] +74 -59
91086   util/[email protected] +1 -6
91273   util/[email protected] +208 -171
91276   util/[email protected] +75 -47
91279   util/[email protected] +10 -9
91282   util/[email protected] +854 -4
91285   util/[email protected] +839 -3
91288   util/[email protected] +2 -2
91291   util/[email protected] +854 -4
91294   util/[email protected] +839 -3
91505   util/[email protected] +2 -2
91508   util/[email protected] +6 -6
91511   util/[email protected] +4 -4
91514   util/[email protected] +3 -3
91517   util/[email protected] +3 -3
91520   util/[email protected] +2 -2
91523   util/[email protected] +3 -3
91526   util/[email protected] +3 -3
91725   util/[email protected] +2 -2
91728   util/[email protected] +4 -4
91731   util/[email protected] +3 -3
91734   util/[email protected] +2 -2
91737   util/[email protected] +2 -2
91740   util/[email protected] +2 -2
91743   util/[email protected] +2 -2
91746   util/[email protected] +2 -2
91933   util/[email protected] +2 -2
91936   util/[email protected] +4 -4
91939   util/[email protected] +3 -3
91942   util/[email protected] +2 -2
91945   util/[email protected] +2 -2
91948   util/[email protected] +2 -3
91951   util/[email protected] +2 -2
91954   util/[email protected] +2 -2
92147   util/[email protected] +2 -3
92150   util/[email protected] +4 -4
92153   util/[email protected] +3 -3
92156   util/[email protected] +2 -2
92159   util/[email protected] +2 -2
92162   util/[email protected] +214 -213
92165   util/[email protected] +2 -2
92168   util/[email protected] +2 -2
92571   util/[email protected] +5 -5
92574   util/[email protected] +4 -4
92577   util/[email protected] +3 -3
92580   util/[email protected] +2 -2
92583   util/[email protected] +2 -2
92586   util/[email protected] +121 -181
92589   util/[email protected] +2 -2
92592   util/[email protected] +2 -2
92776   util/[email protected] +2 -2
92779   util/[email protected] +4 -4
92782   util/[email protected] +3 -3
92785   util/[email protected] +3 -853
92788   util/[email protected] +4 -840
92791   util/[email protected] +210 -230
92794   util/[email protected] +3 -853
92797   util/[email protected] +4 -840
92900   util/[email protected] +429 -383
92923   util/[email protected] +82 -135
92926   util/[email protected] +1 -1
92929   util/[email protected] +31 -26
92932   util/[email protected] +1 -1
92935   util/[email protected] +867 -16
92938   util/[email protected] +854 -17
92941   util/[email protected] +867 -16
92944   util/[email protected] +854 -17
92947   util/[email protected] +115 -82
93151   util/[email protected] +2 -2
93154   util/[email protected] +4 -4
93157   util/[email protected] +3 -3
93160   util/[email protected] +2 -2
93163   util/[email protected] +2 -2
93166   util/[email protected] +2 -2
93169   util/[email protected] +2 -2
93172   util/[email protected] +2 -2
93362   util/[email protected] +2 -2
93365   util/[email protected] +4 -4
93368   util/[email protected] +3 -3
93371   util/[email protected] +2 -2
93374   util/[email protected] +2 -2
93377   util/[email protected] +181 -293
93380   util/[email protected] +2 -2
93383   util/[email protected] +2 -2
93573   util/[email protected] +107 -254
93576   util/[email protected] +4 -4
93579   util/[email protected] +3 -3
93582   util/[email protected] +2 -2
93585   util/[email protected] +2 -2
93588   util/[email protected] +152 -2
93591   util/[email protected] +2 -2
93594   util/[email protected] +2 -2
93864   util/[email protected] +154 -2
93867   util/[email protected] +4 -4
93870   util/[email protected] +3 -3
93873   util/[email protected] +2 -2
93876   util/[email protected] +2 -2
93879   util/[email protected] +115 -174
93882   util/[email protected] +2 -2
93885   util/[email protected] +2 -2
93906   util/[email protected] +11 -0
93909   util/[email protected] +130 -0
93912   util/[email protected] +1874 -0
93913     BitKeeper file /home/stenn/ntp-dev-autogen/util/ntp-keygen.html
93915   util/[email protected] +0 -0
93917   util/[email protected] +274 -0
93918     BitKeeper file /home/stenn/ntp-dev-autogen/util/ntp-keygen.texi
93920   util/[email protected] +0 -0
94097   util/[email protected] +2 -2
94100   util/[email protected] +4 -4
94103   util/[email protected] +3 -3
94106   util/[email protected] +3 -721
94109   util/[email protected] +3 -707
94112   util/[email protected] +3 -721
94115   util/[email protected] +3 -707
94304   util/[email protected] +2 -1
94307   util/[email protected] +1 -1
94310   util/[email protected] +1 -0
94313   util/[email protected] +1 -1
94316   util/[email protected] +721 -3
94319   util/[email protected] +708 -4
94322   util/[email protected] +721 -3
94325   util/[email protected] +708 -4
94503   util/[email protected] +2 -2
94506   util/[email protected] +4 -4
94509   util/[email protected] +3 -3
94512   util/[email protected] +2 -2
94515   util/[email protected] +2 -2
94518   util/[email protected] +2 -2
94521   util/[email protected] +2 -2
94765   util/[email protected] +2 -2
94768   util/[email protected] +4 -4
94771   util/[email protected] +3 -3
94774   util/[email protected] +2 -2
94777   util/[email protected] +1 -1
94780   util/[email protected] +2 -2
94783   util/[email protected] +1 -1
94997   util/[email protected] +2 -2
95000   util/[email protected] +4 -4
95003   util/[email protected] +3 -3
95006   util/[email protected] +2 -2
95009   util/[email protected] +2 -2
95012   util/[email protected] +2 -2
95015   util/[email protected] +2 -2
95269   util/[email protected] +2 -2
95272   util/[email protected] +4 -4
95275   util/[email protected] +3 -3
95278   util/[email protected] +2 -2
95281   util/[email protected] +2 -2
95284   util/[email protected] +2 -2
95287   util/[email protected] +2 -2
95501   util/[email protected] +2 -2
95504   util/[email protected] +4 -4
95507   util/[email protected] +3 -3
95510   util/[email protected] +2 -2
95513   util/[email protected] +2 -2
95516   util/[email protected] +2 -2
95519   util/[email protected] +2 -2
95694   util/[email protected] +21 -2
95697   util/[email protected] +277 -203
95700   util/[email protected] +40 -30
95703   util/[email protected] +15 -2
95706   util/[email protected] +14 -2
95709   util/[email protected] +15 -2
95712   util/[email protected] +14 -2
95727   util/[email protected] +4 -0
95739   util/[email protected] +13 -0
95916   util/[email protected] +2 -2
95919   util/[email protected] +4 -4
95922   util/[email protected] +3 -3
95925   util/[email protected] +2 -2
95928   util/[email protected] +2 -2
95931   util/[email protected] +2 -2
95934   util/[email protected] +2 -2
96100   util/[email protected] +2 -2
96103   util/[email protected] +4 -4
96106   util/[email protected] +3 -3
96109   util/[email protected] +2 -2
96112   util/[email protected] +2 -2
96115   util/[email protected] +2 -2
96118   util/[email protected] +2 -2
96326   util/[email protected] +2 -2
96329   util/[email protected] +4 -4
96332   util/[email protected] +3 -3
96335   util/[email protected] +2 -2
96338   util/[email protected] +2 -2
96341   util/[email protected] +2 -2
96344   util/[email protected] +2 -2
96543   util/[email protected] +2 -2
96546   util/[email protected] +4 -4
96549   util/[email protected] +3 -3
96552   util/[email protected] +2 -2
96555   util/[email protected] +2 -2
96558   util/[email protected] +2 -2
96561   util/[email protected] +2 -2
96856   util/[email protected] +2 -2
96859   util/[email protected] +4 -4
96862   util/[email protected] +3 -3
96865   util/[email protected] +2 -2
96868   util/[email protected] +2 -2
96871   util/[email protected] +2 -2
96874   util/[email protected] +2 -2
97191   util/[email protected] +2 -2
97194   util/[email protected] +4 -4
97197   util/[email protected] +3 -3
97200   util/[email protected] +2 -2
97203   util/[email protected] +2 -2
97206   util/[email protected] +2 -2
97209   util/[email protected] +2 -2
97429   util/[email protected] +2 -2
97432   util/[email protected] +4 -4
97435   util/[email protected] +3 -3
97438   util/[email protected] +2 -2
97441   util/[email protected] +2 -2
97444   util/[email protected] +2 -2
97447   util/[email protected] +2 -2
97631   util/[email protected] +2 -2
97634   util/[email protected] +4 -4
97637   util/[email protected] +3 -3
97640   util/[email protected] +2 -2
97643   util/[email protected] +2 -2
97646   util/[email protected] +2 -2
97649   util/[email protected] +2 -2
97824   util/[email protected] +2 -2
97827   util/[email protected] +4 -4
97830   util/[email protected] +3 -3
97833   util/[email protected] +2 -2
97836   util/[email protected] +1 -1
97839   util/[email protected] +2 -2
97842   util/[email protected] +1 -1
98017   util/[email protected] +2 -2
98020   util/[email protected] +4 -4
98023   util/[email protected] +3 -3
98026   util/[email protected] +2 -2
98029   util/[email protected] +2 -2
98032   util/[email protected] +2 -2
98035   util/[email protected] +2 -2
98225   util/[email protected] +2 -2
98228   util/[email protected] +4 -4
98231   util/[email protected] +3 -3
98234   util/[email protected] +2 -2
98237   util/[email protected] +2 -2
98240   util/[email protected] +2 -2
98243   util/[email protected] +2 -2
98418   util/[email protected] +2 -2
98421   util/[email protected] +4 -4
98424   util/[email protected] +3 -3
98427   util/[email protected] +2 -2
98430   util/[email protected] +2 -2
98433   util/[email protected] +2 -2
98436   util/[email protected] +2 -2
98611   util/[email protected] +2 -2
98614   util/[email protected] +4 -4
98617   util/[email protected] +3 -3
98620   util/[email protected] +2 -2
98623   util/[email protected] +1 -1
98626   util/[email protected] +2 -2
98629   util/[email protected] +1 -1
98804   util/[email protected] +2 -2
98807   util/[email protected] +4 -4
98810   util/[email protected] +3 -3
98813   util/[email protected] +2 -2
98816   util/[email protected] +2 -2
98819   util/[email protected] +2 -2
98822   util/[email protected] +2 -2
99006   util/[email protected] +2 -2
99009   util/[email protected] +4 -4
99012   util/[email protected] +3 -3
99015   util/[email protected] +2 -2
99018   util/[email protected] +2 -2
99021   util/[email protected] +2 -2
99024   util/[email protected] +2 -2
99199   util/[email protected] +3 -3
99202   util/[email protected] +15 -14
99205   util/[email protected] +5 -3
99208   util/[email protected] +4 -3
99211   util/[email protected] +4 -3
99214   util/[email protected] +4 -3
99217   util/[email protected] +4 -3
99253   util/[email protected] +1 -1
99425   util/[email protected] +2 -2
99428   util/[email protected] +4 -4
99431   util/[email protected] +3 -3
99434   util/[email protected] +2 -2
99437   util/[email protected] +2 -2
99440   util/[email protected] +2 -2
99443   util/[email protected] +2 -2
99656   util/[email protected] +2 -2
99659   util/[email protected] +4 -4
99662   util/[email protected] +3 -3
99665   util/[email protected] +2 -2
99668   util/[email protected] +2 -2
99671   util/[email protected] +2 -2
99674   util/[email protected] +2 -2
99849   util/[email protected] +2 -2
99852   util/[email protected] +4 -4
99855   util/[email protected] +3 -3
99858   util/[email protected] +2 -2
99861   util/[email protected] +1 -1
99864   util/[email protected] +2 -2
99867   util/[email protected] +1 -1
100042   util/[email protected] +2 -2
100045   util/[email protected] +4 -4
100048   util/[email protected] +3 -3
100051   util/[email protected] +2 -2
100054   util/[email protected] +2 -2
100057   util/[email protected] +2 -2
100060   util/[email protected] +2 -2
100301   util/[email protected] +2 -2
100304   util/[email protected] +4 -4
100307   util/[email protected] +3 -3
100310   util/[email protected] +2 -2
100313   util/[email protected] +1 -1
100316   util/[email protected] +2 -2
100319   util/[email protected] +1 -1
100515   util/[email protected] +2 -2
100518   util/[email protected] +4 -4
100521   util/[email protected] +3 -3
100524   util/[email protected] +2 -2
100527   util/[email protected] +2 -2
100530   util/[email protected] +2 -2
100533   util/[email protected] +2 -2
100798   util/[email protected] +2 -2
100801   util/[email protected] +4 -4
100804   util/[email protected] +3 -3
100807   util/[email protected] +2 -2
100810   util/[email protected] +2 -2
100813   util/[email protected] +2 -2
100816   util/[email protected] +2 -2
101000   util/[email protected] +2 -2
101003   util/[email protected] +4 -4
101006   util/[email protected] +3 -3
101009   util/[email protected] +2 -2
101012   util/[email protected] +1 -1
101015   util/[email protected] +2 -2
101018   util/[email protected] +1 -1
101193   util/[email protected] +2 -2
101196   util/[email protected] +4 -4
101199   util/[email protected] +3 -3
101202   util/[email protected] +2 -2
101205   util/[email protected] +2 -2
101208   util/[email protected] +2 -2
101211   util/[email protected] +2 -2
101386   util/[email protected] +2 -2
101389   util/[email protected] +4 -4
101392   util/[email protected] +3 -3
101395   util/[email protected] +2 -2
101398   util/[email protected] +1 -1
101401   util/[email protected] +2 -2
101404   util/[email protected] +1 -1
101588   util/[email protected] +2 -2
101591   util/[email protected] +4 -4
101594   util/[email protected] +3 -3
101597   util/[email protected] +2 -2
101600   util/[email protected] +2 -2
101603   util/[email protected] +2 -2
101606   util/[email protected] +2 -2
101796   util/[email protected] +2 -2
101799   util/[email protected] +4 -4
101802   util/[email protected] +3 -3
101805   util/[email protected] +2 -2
101808   util/[email protected] +1 -1
101811   util/[email protected] +2 -2
101814   util/[email protected] +1 -1
101989   util/[email protected] +2 -2
101992   util/[email protected] +4 -4
101995   util/[email protected] +3 -3
101998   util/[email protected] +2 -2
102001   util/[email protected] +1 -1
102004   util/[email protected] +2 -2
102007   util/[email protected] +1 -1
102200   util/[email protected] +2 -2
102203   util/[email protected] +4 -4
102206   util/[email protected] +3 -3
102209   util/[email protected] +32 -32
102212   util/[email protected] +2 -2
102215   util/[email protected] +32 -32
102218   util/[email protected] +2 -2
102413   util/[email protected] +52 -5
102416   util/[email protected] +4 -4
102419   util/[email protected] +3 -3
102422   util/[email protected] +34 -750
102425   util/[email protected] +5 -707
102428   util/[email protected] +34 -750
102431   util/[email protected] +5 -707
102724   util/[email protected] +784 -497
102727   util/[email protected] +238 -188
102730   util/[email protected] +13 -5
102733   util/[email protected] +43 -36
102736   util/[email protected] +27 -19
102739   util/[email protected] +43 -36
102742   util/[email protected] +27 -19
102884   util/[email protected] +4 -4
102887   util/[email protected] +3 -3
102890   util/[email protected] +2 -2
102893   util/[email protected] +2 -2
102896   util/[email protected] +2 -2
102899   util/[email protected] +2 -2
102902   util/[email protected] +2 -2
103061   util/[email protected] +4 -4
103064   util/[email protected] +3 -3
103067   util/[email protected] +2 -2
103070   util/[email protected] +2 -2
103073   util/[email protected] +2 -2
103076   util/[email protected] +2 -2
103079   util/[email protected] +2 -2
103284   util/[email protected] +4 -4
103287   util/[email protected] +3 -3
103290   util/[email protected] +2 -2
103293   util/[email protected] +2 -2
103296   util/[email protected] +2 -2
103299   util/[email protected] +2 -2
103302   util/[email protected] +2 -2
103489   util/[email protected] +4 -4
103492   util/[email protected] +3 -3
103495   util/[email protected] +2 -2
103498   util/[email protected] +2 -2
103501   util/[email protected] +2 -2
103504   util/[email protected] +2 -2
103507   util/[email protected] +2 -2
103706   util/[email protected] +4 -4
103709   util/[email protected] +3 -3
103712   util/[email protected] +2 -2
103715   util/[email protected] +2 -2
103718   util/[email protected] +2 -2
103721   util/[email protected] +2 -2
103724   util/[email protected] +2 -2
103959   util/[email protected] +4 -4
103962   util/[email protected] +3 -3
103965   util/[email protected] +2 -2
103968   util/[email protected] +2 -2
103971   util/[email protected] +2 -2
103974   util/[email protected] +2 -2
103977   util/[email protected] +2 -2
104154   util/[email protected] +4 -4
104157   util/[email protected] +3 -3
104160   util/[email protected] +2 -2
104163   util/[email protected] +4 -8
104166   util/[email protected] +4 -8
104169   util/[email protected] +4 -8
104172   util/[email protected] +4 -8
104190   util/[email protected] +5 -1
104341   util/[email protected] +4 -4
104344   util/[email protected] +3 -3
104347   util/[email protected] +2 -2
104350   util/[email protected] +724 -6
104353   util/[email protected] +709 -5
104356   util/[email protected] +724 -6
104359   util/[email protected] +709 -5
104510   util/[email protected] +4 -4
104513   util/[email protected] +3 -3
104516   util/[email protected] +2 -2
104519   util/[email protected] +2 -2
104522   util/[email protected] +2 -2
104525   util/[email protected] +2 -2
104528   util/[email protected] +2 -2
104688   util/[email protected] +4 -4
104691   util/[email protected] +3 -3
104694   util/[email protected] +2 -2
104697   util/[email protected] +2 -2
104700   util/[email protected] +2 -2
104703   util/[email protected] +2 -2
104706   util/[email protected] +2 -2
104875   util/[email protected] +4 -4
104878   util/[email protected] +3 -3
104881   util/[email protected] +2 -2
104884   util/[email protected] +2 -2
104887   util/[email protected] +2 -2
104890   util/[email protected] +2 -2
104893   util/[email protected] +2 -2
105107   util/[email protected] +4 -4
105110   util/[email protected] +3 -3
105113   util/[email protected] +2 -2
105116   util/[email protected] +2 -2
105119   util/[email protected] +1 -1
105122   util/[email protected] +2 -2
105125   util/[email protected] +1 -1
105267   util/[email protected] +4 -4
105270   util/[email protected] +3 -3
105273   util/[email protected] +2 -2
105276   util/[email protected] +2 -2
105279   util/[email protected] +2 -2
105282   util/[email protected] +2 -2
105285   util/[email protected] +2 -2
105457   util/[email protected] +4 -4
105460   util/[email protected] +3 -3
105463   util/[email protected] +2 -2
105466   util/[email protected] +2 -2
105469   util/[email protected] +2 -2
105472   util/[email protected] +2 -2
105475   util/[email protected] +2 -2
105813   sntp/libevent/include/event2/util[email protected] +93 -64
106102   sntp/libevent/util[email protected] +181 -47
106125   util/[email protected] +1 -1
106267   util/[email protected] +4 -4
106270   util/[email protected] +3 -3
106273   util/[email protected] +2 -2
106276   util/[email protected] +2 -2
106279   util/[email protected] +2 -2
106282   util/[email protected] +2 -2
106285   util/[email protected] +2 -2
106303   util/[email protected] +2 -2
106445   util/[email protected] +4 -4
106448   util/[email protected] +3 -3
106451   util/[email protected] +2 -2
106454   util/[email protected] +2 -2
106457   util/[email protected] +2 -2
106460   util/[email protected] +2 -2
106463   util/[email protected] +2 -2
106614   util/[email protected] +4 -4
106617   util/[email protected] +3 -3
106620   util/[email protected] +2 -2
106623   util/[email protected] +2 -2
106626   util/[email protected] +2 -2
106629   util/[email protected] +2 -2
106632   util/[email protected] +2 -2
106788   util/[email protected] +4 -4
106791   util/[email protected] +3 -3
106794   util/[email protected] +2 -2
106797   util/[email protected] +2 -2
106800   util/[email protected] +2 -2
106803   util/[email protected] +2 -2
106806   util/[email protected] +2 -2
107119   lib/isc/include/isc/util[email protected] +7 -2
107550   util/[email protected] +4 -4
107553   util/[email protected] +3 -3
107556   util/[email protected] +2 -2
107559   util/[email protected] +2 -2
107562   util/[email protected] +2 -2
107565   util/[email protected] +2 -2
107568   util/[email protected] +2 -2
107722   util/[email protected] +4 -4
107725   util/[email protected] +3 -3
107728   util/[email protected] +2 -2
107731   util/[email protected] +2 -2
107734   util/[email protected] +2 -2
107737   util/[email protected] +2 -2
107740   util/[email protected] +2 -2
107782   util/[email protected] +2 -2
107924   util/[email protected] +4 -4
107927   util/[email protected] +3 -3
107930   util/[email protected] +2 -2
107933   util/[email protected] +2 -2
107936   util/[email protected] +2 -2
107939   util/[email protected] +2 -2
107942   util/[email protected] +2 -2
108099   util/[email protected] +4 -4
108102   util/[email protected] +3 -3
108105   util/[email protected] +2 -2
108108   util/[email protected] +2 -2
108111   util/[email protected] +2 -2
108114   util/[email protected] +2 -2
108117   util/[email protected] +2 -2
108287   util/[email protected] +4 -4
108290   util/[email protected] +3 -3
108293   util/[email protected] +2 -2
108296   util/[email protected] +2 -2
108299   util/[email protected] +2 -2
108302   util/[email protected] +2 -2
108305   util/[email protected] +2 -2
108573   util/[email protected] +7 -7
108576   util/[email protected] +0 -0
108577     Rename: util/ntp-keygen-opts.menu -> util/invoke-ntp-keygen.menu
108579   util/[email protected] +761 -120
108582   util/[email protected] +0 -0
108583     Rename: util/ntp-keygen-opts.texi -> util/invoke-ntp-keygen.texi
108724   util/[email protected] +4 -4
108727   util/[email protected] +3 -3
108730   util/[email protected] +2 -2
108733   util/[email protected] +2 -2
108736   util/[email protected] +2 -2
108739   util/[email protected] +2 -2
108742   util/[email protected] +2 -2
108916   util/[email protected] +4 -4
108919   util/[email protected] +3 -3
108922   util/[email protected] +2 -2
108925   util/[email protected] +2 -2
108928   util/[email protected] +2 -2
108931   util/[email protected] +2 -2
108934   util/[email protected] +2 -2
108999   util/[email protected] +3 -1
109142   util/[email protected] +4 -4
109145   util/[email protected] +3 -3
109148   util/[email protected] +2 -2
109151   util/[email protected] +2 -2
109154   util/[email protected] +2 -2
109157   util/[email protected] +2 -2
109160   util/[email protected] +2 -2
109311   util/[email protected] +4 -4
109314   util/[email protected] +3 -3
109317   util/[email protected] +2 -2
109320   util/[email protected] +6 -720
109323   util/[email protected] +6 -706
109326   util/[email protected] +6 -720
109329   util/[email protected] +6 -706
109489   util/[email protected] +4 -4
109492   util/[email protected] +3 -3
109495   util/[email protected] +2 -2
109498   util/[email protected] +2 -2
109501   util/[email protected] +2 -2
109504   util/[email protected] +2 -2
109507   util/[email protected] +2 -2
109655   util/[email protected] +4 -4
109658   util/[email protected] +3 -3
109661   util/[email protected] +2 -2
109664   util/[email protected] +2 -2
109667   util/[email protected] +2 -2
109670   util/[email protected] +2 -2
109673   util/[email protected] +2 -2
109826   util/[email protected] +4 -4
109829   util/[email protected] +3 -3
109832   util/[email protected] +2 -2
109835   util/[email protected] +2 -2
109838   util/[email protected] +2 -2
109841   util/[email protected] +2 -2
109844   util/[email protected] +2 -2
110009   util/[email protected] +4 -4
110012   util/[email protected] +3 -3
110015   util/[email protected] +2 -2
110018   util/[email protected] +2 -2
110021   util/[email protected] +2 -2
110024   util/[email protected] +2 -2
110027   util/[email protected] +2 -2
110229   util/[email protected] +4 -4
110232   util/[email protected] +3 -3
110235   util/[email protected] +2 -2
110238   util/[email protected] +2 -2
110241   util/[email protected] +2 -2
110244   util/[email protected] +2 -2
110247   util/[email protected] +2 -2
110253   util/[email protected] +0 -1
110289   util/[email protected] +1 -1
110431   util/[email protected] +4 -4
110434   util/[email protected] +3 -3
110437   util/[email protected] +2 -2
110440   util/[email protected] +2 -2
110443   util/[email protected] +2 -2
110446   util/[email protected] +2 -2
110449   util/[email protected] +2 -2
110621   util/[email protected] +4 -4
110624   util/[email protected] +3 -3
110627   util/[email protected] +2 -2
110630   util/[email protected] +2 -2
110633   util/[email protected] +2 -2
110636   util/[email protected] +2 -2
110639   util/[email protected] +2 -2
110829   util/[email protected] +4 -4
110832   util/[email protected] +3 -3
110835   util/[email protected] +2 -2
110838   util/[email protected] +2 -2
110841   util/[email protected] +2 -2
110844   util/[email protected] +2 -2
110847   util/[email protected] +2 -2
111146   util/[email protected] +4 -4
111149   util/[email protected] +3 -3
111152   util/[email protected] +2 -2
111155   util/[email protected] +2 -2
111158   util/[email protected] +2 -2
111161   util/[email protected] +2 -2
111164   util/[email protected] +2 -2
111195   util/[email protected] +1 -1
111337   util/[email protected] +4 -4
111340   util/[email protected] +3 -3
111343   util/[email protected] +2 -2
111346   util/[email protected] +2 -2
111349   util/[email protected] +2 -2
111352   util/[email protected] +2 -2
111355   util/[email protected] +2 -2
111545   util/[email protected] +4 -4
111548   util/[email protected] +3 -3
111551   util/[email protected] +2 -2
111554   util/[email protected] +2 -2
111557   util/[email protected] +2 -2
111560   util/[email protected] +2 -2
111563   util/[email protected] +2 -2
111770   util/[email protected] +4 -4
111773   util/[email protected] +3 -3
111776   util/[email protected] +2 -2
111779   util/[email protected] +2 -2
111782   util/[email protected] +2 -2
111785   util/[email protected] +2 -2
111788   util/[email protected] +2 -2
111972   util/[email protected] +4 -4
111975   util/[email protected] +3 -3
111978   util/[email protected] +2 -2
111981   util/[email protected] +2 -2
111984   util/[email protected] +2 -2
111987   util/[email protected] +2 -2
111990   util/[email protected] +2 -2
112200   util/[email protected] +4 -4
112203   util/[email protected] +3 -3
112206   util/[email protected] +2 -2
112209   util/[email protected] +2 -2
112212   util/[email protected] +1 -1
112215   util/[email protected] +2 -2
112218   util/[email protected] +1 -1
112369   util/[email protected] +4 -4
112372   util/[email protected] +3 -3
112375   util/[email protected] +2 -2
112378   util/[email protected] +2 -2
112381   util/[email protected] +2 -2
112384   util/[email protected] +2 -2
112387   util/[email protected] +2 -2
112399   util/[email protected] +2 -0
112541   util/[email protected] +180 -185
112544   util/[email protected] +7 -7
112547   util/[email protected] +2 -2
112550   util/[email protected] +4 -4
112553   util/[email protected] +4 -4
112556   util/[email protected] +4 -4
112559   util/[email protected] +4 -4
112737   util/[email protected] +451 -387
112740   util/[email protected] +11 -13
112743   util/[email protected] +3 -3
112746   util/[email protected] +2 -2
112749   util/[email protected] +2 -2
112752   util/[email protected] +2 -2
112755   util/[email protected] +2 -2
112992   util/[email protected] +3 -3
112995   util/[email protected] +3 -3
112998   util/[email protected] +2 -2
113001   util/[email protected] +2 -2
113004   util/[email protected] +2 -2
113007   util/[email protected] +2 -2
113010   util/[email protected] +2 -2
113161   util/[email protected] +5 -5
113164   util/[email protected] +4 -4
113167   util/[email protected] +2 -2
113170   util/[email protected] +3 -3
113173   util/[email protected] +3 -3
113176   util/[email protected] +3 -3
113179   util/[email protected] +3 -3
113342   util/[email protected] +3 -3
113345   util/[email protected] +3 -3
113348   util/[email protected] +2 -2
113351   util/[email protected] +2 -2
113354   util/[email protected] +2 -2
113357   util/[email protected] +2 -2
113360   util/[email protected] +2 -2
113565   util/[email protected] +3 -3
113568   util/[email protected] +3 -3
113571   util/[email protected] +2 -2
113574   util/[email protected] +2 -2
113577   util/[email protected] +2 -2
113580   util/[email protected] +2 -2
113583   util/[email protected] +2 -2
113649   util/[email protected] +1 -1
113791   util/[email protected] +3 -3
113794   util/[email protected] +3 -3
113797   util/[email protected] +2 -2
113800   util/[email protected] +2 -2
113803   util/[email protected] +1 -1
113806   util/[email protected] +2 -2
113809   util/[email protected] +1 -1
113975   util/[email protected] +3 -3
113978   util/[email protected] +3 -3
113981   util/[email protected] +2 -2
113984   util/[email protected] +2 -2
113987   util/[email protected] +2 -2
113990   util/[email protected] +2 -2
113993   util/[email protected] +2 -2
114069   lib/isc/include/isc/util[email protected] +1 -1
114193   util/[email protected] +1 -1
114196   util/[email protected] +8 -1
114338   util/[email protected] +3 -3
114341   util/[email protected] +3 -3
114344   util/[email protected] +2 -2
114347   util/[email protected] +2 -2
114350   util/[email protected] +2 -2
114353   util/[email protected] +2 -2
114356   util/[email protected] +2 -2
114536   util/[email protected] +3 -3
114539   util/[email protected] +3 -3
114542   util/[email protected] +2 -2
114545   util/[email protected] +2 -2
114548   util/[email protected] +2 -2
114551   util/[email protected] +2 -2
114554   util/[email protected] +2 -2
114630   util/[email protected] +5 -5
114633   util/[email protected] +3 -3
114636   util/[email protected] +2 -2
114639   util/[email protected] +2 -2
114808   util/[email protected] +3 -3
114811   util/[email protected] +3 -3
114814   util/[email protected] +2 -2
114817   util/[email protected] +2 -2
114820   util/[email protected] +2 -2
114823   util/[email protected] +2 -2
114826   util/[email protected] +2 -2
114983   util/[email protected] +3 -3
114986   util/[email protected] +3 -3
114989   util/[email protected] +2 -2
114992   util/[email protected] +2 -2
114995   util/[email protected] +2 -2
114998   util/[email protected] +2 -2
115001   util/[email protected] +2 -2
115166   util/[email protected] +3 -3
115169   util/[email protected] +3 -3
115172   util/[email protected] +2 -2
115175   util/[email protected] +2 -2
115178   util/[email protected] +2 -2
115181   util/[email protected] +2 -2
115184   util/[email protected] +2 -2
115245   util/[email protected] +1 -2
115414   util/[email protected] +3 -3
115417   util/[email protected] +3 -3
115420   util/[email protected] +2 -2
115423   util/[email protected] +2 -2
115426   util/[email protected] +2 -2
115429   util/[email protected] +2 -2
115432   util/[email protected] +2 -2
115598   util/[email protected] +3 -3
115601   util/[email protected] +3 -3
115604   util/[email protected] +2 -2
115607   util/[email protected] +2 -2
115610   util/[email protected] +2 -2
115613   util/[email protected] +2 -2
115616   util/[email protected] +2 -2
115779   util/[email protected] +3 -3
115782   util/[email protected] +3 -3
115785   util/[email protected] +2 -2
115788   util/[email protected] +2 -2
115791   util/[email protected] +2 -2
115794   util/[email protected] +2 -2
115797   util/[email protected] +2 -2
115873   util/[email protected] +3 -3
115876   util/[email protected] +3 -3
115879   util/[email protected] +2 -2
115882   util/[email protected] +2 -2
116077   util/[email protected] +3 -3
116080   util/[email protected] +3 -3
116083   util/[email protected] +2 -2
116086   util/[email protected] +2 -2
116089   util/[email protected] +2 -2
116092   util/[email protected] +2 -2
116095   util/[email protected] +2 -2
116171   util/[email protected] +3 -3
116174   util/[email protected] +3 -3
116177   util/[email protected] +2 -2
116180   util/[email protected] +2 -2
116538   util/[email protected] +3 -3
116541   util/[email protected] +3 -3
116544   util/[email protected] +2 -2
116547   util/[email protected] +2 -2
116550   util/[email protected] +1 -1
116553   util/[email protected] +2 -2
116556   util/[email protected] +1 -1
116710   util/[email protected] +3 -3
116713   util/[email protected] +3 -3
116716   util/[email protected] +2 -2
116719   util/[email protected] +2 -2
116722   util/[email protected] +2 -2
116725   util/[email protected] +2 -2
116728   util/[email protected] +2 -2
116880   util/[email protected] +3 -3
116883   util/[email protected] +3 -3
116886   util/[email protected] +2 -2
116889   util/[email protected] +2 -2
116892   util/[email protected] +2 -2
116895   util/[email protected] +2 -2
116898   util/[email protected] +2 -2
116943   util/[email protected] +2 -2
117085   util/[email protected] +3 -3
117088   util/[email protected] +3 -3
117091   util/[email protected] +2 -2
117094   util/[email protected] +2 -2
117097   util/[email protected] +2 -2
117100   util/[email protected] +2 -2
117103   util/[email protected] +2 -2
117260   util/[email protected] +3 -3
117263   util/[email protected] +3 -3
117266   util/[email protected] +2 -2
117269   util/[email protected] +2 -2
117272   util/[email protected] +2 -2
117275   util/[email protected] +2 -2
117278   util/[email protected] +2 -2
117438   util/[email protected] +3 -3
117441   util/[email protected] +3 -3
117444   util/[email protected] +2 -2
117447   util/[email protected] +2 -2
117450   util/[email protected] +2 -2
117453   util/[email protected] +2 -2
117456   util/[email protected] +2 -2
117653   util/[email protected] +3 -3
117656   util/[email protected] +3 -3
117659   util/[email protected] +2 -2
117662   util/[email protected] +2 -2
117665   util/[email protected] +2 -2
117668   util/[email protected] +2 -2
117671   util/[email protected] +2 -2
117810   util/[email protected] +1 -1
117952   util/[email protected] +3 -3
117955   util/[email protected] +3 -3
117958   util/[email protected] +2 -2
117961   util/[email protected] +2 -2
117964   util/[email protected] +2 -2
117967   util/[email protected] +2 -2
117970   util/[email protected] +2 -2
118121   util/[email protected] +3 -3
118124   util/[email protected] +3 -3
118127   util/[email protected] +2 -2
118130   util/[email protected] +2 -2
118133   util/[email protected] +2 -2
118136   util/[email protected] +2 -2
118139   util/[email protected] +2 -2
118287   util/[email protected] +3 -3
118290   util/[email protected] +3 -3
118293   util/[email protected] +2 -2
118296   util/[email protected] +2 -2
118299   util/[email protected] +2 -2
118302   util/[email protected] +2 -2
118305   util/[email protected] +2 -2
118319   lib/isc/include/isc/util[email protected] +1 -1
118492   util/[email protected] +3 -3
118495   util/[email protected] +3 -3
118498   util/[email protected] +2 -2
118501   util/[email protected] +2 -2
118504   util/[email protected] +2 -2
118507   util/[email protected] +2 -2
118510   util/[email protected] +2 -2
118620   util/[email protected] +5 -5
118623   util/[email protected] +3 -3
118626   util/[email protected] +2 -2
118629   util/[email protected] +2 -2
118819   util/[email protected] +3 -3
118822   util/[email protected] +3 -3
118825   util/[email protected] +2 -2
118828   util/[email protected] +2 -2
118831   util/[email protected] +2 -2
118834   util/[email protected] +2 -2
118837   util/[email protected] +2 -2
119009   util/[email protected] +3 -3
119012   util/[email protected] +3 -3
119015   util/[email protected] +2 -2
119018   util/[email protected] +2 -2
119021   util/[email protected] +2 -2
119024   util/[email protected] +2 -2
119027   util/[email protected] +2 -2
119200   util/[email protected] +3 -3
119203   util/[email protected] +3 -3
119206   util/[email protected] +2 -2
119209   util/[email protected] +2 -2
119212   util/[email protected] +2 -2
119215   util/[email protected] +2 -2
119218   util/[email protected] +2 -2
119390   util/[email protected] +3 -3
119393   util/[email protected] +3 -3
119396   util/[email protected] +2 -2
119399   util/[email protected] +2 -2
119402   util/[email protected] +2 -2
119405   util/[email protected] +2 -2
119408   util/[email protected] +2 -2
119568   util/[email protected] +3 -3
119571   util/[email protected] +3 -3
119574   util/[email protected] +2 -2
119577   util/[email protected] +2 -2
119580   util/[email protected] +2 -2
119583   util/[email protected] +2 -2
119586   util/[email protected] +2 -2
119789   util/[email protected] +3 -3
119792   util/[email protected] +3 -3
119795   util/[email protected] +2 -2
119798   util/[email protected] +2 -2
119801   util/[email protected] +2 -2
119804   util/[email protected] +2 -2
119807   util/[email protected] +2 -2
120017   util/[email protected] +3 -3
120020   util/[email protected] +3 -3
120023   util/[email protected] +2 -2
120026   util/[email protected] +2 -2
120029   util/[email protected] +2 -2
120032   util/[email protected] +2 -2
120035   util/[email protected] +2 -2
120210   util/[email protected] +3 -3
120213   util/[email protected] +3 -3
120216   util/[email protected] +22 -3
120219   util/[email protected] +11 -3
120222   util/[email protected] +10 -3
120225   util/[email protected] +11 -3
120228   util/[email protected] +10 -3
120234   util/[email protected] +1 -1
120249   util/[email protected] +68 -38
120252   util/[email protected] +1 -1
120255   util/[email protected] +32 -25
120258   util/[email protected] +81 -38
120292   util/[email protected] +15 -0
120295   util/[email protected] +20 -8
120344   util/[email protected] +11 -11
120488   util/[email protected] +3 -3
120491   util/[email protected] +3 -3
120494   util/[email protected] +34 -20
120497   util/[email protected] +24 -10
120500   util/[email protected] +24 -10
120503   util/[email protected] +24 -10
120506   util/[email protected] +24 -10
120531   util/[email protected] +17 -17
120535   util/[email protected] +7 -7
120539   util/[email protected] +51 -28
120553   util/[email protected] +23 -9
120561   util/[email protected] +9 -9
120708   util/[email protected] +3 -3
120711   util/[email protected] +3 -3
120714   util/[email protected] +2 -2
120717   util/[email protected] +2 -2
120720   util/[email protected] +2 -2
120723   util/[email protected] +2 -2
120726   util/[email protected] +2 -2
120883   util/[email protected] +3 -3
120886   util/[email protected] +3 -3
120889   util/[email protected] +2 -2
120892   util/[email protected] +2 -2
120895   util/[email protected] +2 -2
120898   util/[email protected] +2 -2
120901   util/[email protected] +2 -2
120991   util/[email protected] +5 -5
120994   util/[email protected] +3 -3
120997   util/[email protected] +2 -2
121000   util/[email protected] +2 -2
121154   util/[email protected] +3 -3
121157   util/[email protected] +3 -3
121160   util/[email protected] +2 -2
121163   util/[email protected] +2 -2
121166   util/[email protected] +2 -2
121169   util/[email protected] +2 -2
121172   util/[email protected] +2 -2
121349   util/[email protected] +3 -3
121352   util/[email protected] +3 -3
121355   util/[email protected] +2 -2
121358   util/[email protected] +2 -2
121361   util/[email protected] +2 -2
121364   util/[email protected] +2 -2
121367   util/[email protected] +2 -2
121533   util/[email protected] +3 -3
121536   util/[email protected] +3 -3
121539   util/[email protected] +2 -2
121542   util/[email protected] +2 -2
121545   util/[email protected] +2 -2
121548   util/[email protected] +2 -2
121551   util/[email protected] +2 -2
121705   util/[email protected] +3 -3
121708   util/[email protected] +3 -3
121711   util/[email protected] +2 -2
121714   util/[email protected] +2 -2
121717   util/[email protected] +2 -2
121720   util/[email protected] +2 -2
121723   util/[email protected] +2 -2
122087   util/[email protected] +3 -3
122090   util/[email protected] +3 -3
122093   util/[email protected] +2 -2
122096   util/[email protected] +2 -2
122099   util/[email protected] +2 -2
122102   util/[email protected] +2 -2
122105   util/[email protected] +2 -2
122256   util/[email protected] +3 -3
122259   util/[email protected] +3 -3
122262   util/[email protected] +2 -2
122265   util/[email protected] +2 -2
122268   util/[email protected] +2 -2
122271   util/[email protected] +2 -2
122274   util/[email protected] +2 -2
122486   util/[email protected] +3 -3
122489   util/[email protected] +3 -3
122492   util/[email protected] +2 -2
122495   util/[email protected] +2 -2
122498   util/[email protected] +2 -2
122501   util/[email protected] +2 -2
122504   util/[email protected] +2 -2
122655   util/[email protected] +3 -3
122658   util/[email protected] +3 -3
122661   util/[email protected] +2 -2
122664   util/[email protected] +2 -2
122667   util/[email protected] +2 -2
122670   util/[email protected] +2 -2
122673   util/[email protected] +2 -2
122854   util/[email protected] +3 -3
122857   util/[email protected] +3 -3
122860   util/[email protected] +2 -2
122863   util/[email protected] +2 -2
122866   util/[email protected] +2 -2
122869   util/[email protected] +2 -2
122872   util/[email protected] +2 -2
123055   util/[email protected] +3 -3
123058   util/[email protected] +3 -3
123061   util/[email protected] +2 -2
123064   util/[email protected] +2 -2
123067   util/[email protected] +2 -2
123070   util/[email protected] +2 -2
123073   util/[email protected] +2 -2
123083   [Bug 1992] util/tg2 doesn't compile, needs libntp.
123088     [Bug 1992] util/tg2 doesn't compile, needs libntp.
123090   util/[email protected] +1 -1
123091     [Bug 1992] util/tg2 doesn't compile, needs libntp.
123093   util/[email protected] +2 -3
123094     [Bug 1992] util/tg2 doesn't compile, needs libntp.
123235   util/[email protected] +3 -3
123238   util/[email protected] +3 -3
123241   util/[email protected] +2 -2
123244   util/[email protected] +2 -2
123247   util/[email protected] +2 -2
123250   util/[email protected] +2 -2
123253   util/[email protected] +2 -2
123447   util/[email protected] +3 -3
123450   util/[email protected] +3 -3
123453   util/[email protected] +2 -2
123456   util/[email protected] +2 -2
123459   util/[email protected] +2 -2
123462   util/[email protected] +2 -2
123465   util/[email protected] +2 -2
123727   util/[email protected] +3 -3
123730   util/[email protected] +3 -3
123733   util/[email protected] +2 -2
123736   util/[email protected] +2 -2
123739   util/[email protected] +2 -2
123742   util/[email protected] +2 -2
123745   util/[email protected] +2 -2
123952   util/[email protected] +3 -3
123955   util/[email protected] +3 -3
123958   util/[email protected] +2 -2
123961   util/[email protected] +2 -2
123964   util/[email protected] +2 -2
123967   util/[email protected] +2 -2
123970   util/[email protected] +2 -2
124274   util/[email protected] +3 -3
124277   util/[email protected] +3 -3
124280   util/[email protected] +2 -2
124283   util/[email protected] +2 -2
124286   util/[email protected] +2 -2
124289   util/[email protected] +2 -2
124292   util/[email protected] +2 -2
124368   util/[email protected] +3 -3
124371   util/[email protected] +3 -3
124374   util/[email protected] +2 -2
124377   util/[email protected] +2 -2
124519   util/[email protected] +3 -3
124522   util/[email protected] +3 -3
124525   util/[email protected] +2 -2
124528   util/[email protected] +2 -2
124531   util/[email protected] +2 -2
124534   util/[email protected] +2 -2
124537   util/[email protected] +2 -2
124691   util/[email protected] +3 -3
124694   util/[email protected] +3 -3
124697   util/[email protected] +2 -2
124700   util/[email protected] +2 -2
124703   util/[email protected] +1 -1
124706   util/[email protected] +2 -2
124709   util/[email protected] +1 -1
124860   util/[email protected] +3 -3
124863   util/[email protected] +3 -3
124866   util/[email protected] +4 -4
124869   util/[email protected] +4 -4
124872   util/[email protected] +4 -4
124875   util/[email protected] +4 -4
124878   util/[email protected] +4 -4
124902   util/[email protected] +2 -2
125149   util/[email protected] +3 -3
125152   util/[email protected] +3 -3
125155   util/[email protected] +2 -2
125158   util/[email protected] +2 -2
125161   util/[email protected] +2 -2
125164   util/[email protected] +2 -2
125167   util/[email protected] +2 -2
125285   util/[email protected] +4 -4
125511   util/[email protected] +3 -3
125514   util/[email protected] +3 -3
125517   util/[email protected] +2 -2
125520   util/[email protected] +2 -2
125523   util/[email protected] +1 -1
125526   util/[email protected] +2 -2
125529   util/[email protected] +1 -1
125671   util/[email protected] +3 -3
125674   util/[email protected] +3 -3
125677   util/[email protected] +2 -2
125680   util/[email protected] +2 -2
125683   util/[email protected] +2 -2
125686   util/[email protected] +2 -2
125689   util/[email protected] +2 -2
125745   util/[email protected] +1 -0
125899   util/[email protected] +3 -3
125902   util/[email protected] +3 -3
125905   util/[email protected] +2 -2
125908   util/[email protected] +2 -2
125911   util/[email protected] +2 -2
125914   util/[email protected] +2 -2
125917   util/[email protected] +2 -2
126107   sntp/libevent/include/event2/util[email protected] +131 -33
126155   sntp/libevent/util[email protected] +37 -0
126332   util/[email protected] +3 -3
126335   util/[email protected] +3 -3
126338   util/[email protected] +2 -2
126341   util/[email protected] +2 -2
126344   util/[email protected] +2 -2
126347   util/[email protected] +2 -2
126350   util/[email protected] +2 -2
126501   util/[email protected] +3 -3
126504   util/[email protected] +3 -3
126507   util/[email protected] +2 -2
126510   util/[email protected] +2 -2
126513   util/[email protected] +2 -2
126516   util/[email protected] +2 -2
126519   util/[email protected] +2 -2
126727   util/[email protected] +3 -3
126730   util/[email protected] +3 -3
126733   util/[email protected] +2 -2
126736   util/[email protected] +2 -2
126739   util/[email protected] +2 -2
126742   util/[email protected] +2 -2
126745   util/[email protected] +2 -2
126907   util/[email protected] +3 -3
126910   util/[email protected] +3 -3
126913   util/[email protected] +2 -2
126916   util/[email protected] +4 -5
126919   util/[email protected] +4 -5
126922   util/[email protected] +4 -5
126925   util/[email protected] +4 -5
127001   util/[email protected] +7 -9
127004   util/[email protected] +9 -11
127007   util/[email protected] +3 -3
127010   util/[email protected] +2 -2
127215   util/[email protected] +3 -3
127218   util/[email protected] +3 -3
127221   util/[email protected] +2 -2
127224   util/[email protected] +2 -2
127227   util/[email protected] +2 -2
127230   util/[email protected] +2 -2
127233   util/[email protected] +2 -2
127393   util/[email protected] +3 -3
127396   util/[email protected] +3 -3
127399   util/[email protected] +2 -2
127402   util/[email protected] +2 -2
127405   util/[email protected] +2 -2
127408   util/[email protected] +2 -2
127411   util/[email protected] +2 -2
127580   util/[email protected] +3 -3
127583   util/[email protected] +3 -3
127586   util/[email protected] +2 -2
127589   util/[email protected] +2 -2
127592   util/[email protected] +3 -3
127595   util/[email protected] +2 -2
127598   util/[email protected] +3 -3
127765   util/[email protected] +917 -0
127766     BitKeeper file /home/stenn/ntp-dev/util/ntp-keygen.1ntp-keygenman
127768   util/[email protected] +0 -0
127770   util/[email protected] +884 -0
127771     BitKeeper file /home/stenn/ntp-dev/util/ntp-keygen.1ntp-keygenmdoc
127773   util/[email protected] +0 -0
127775   util/[email protected] +917 -0
127776     BitKeeper file /home/stenn/ntp-dev/util/ntp-keygen.man.in
127778   util/[email protected] +0 -0
127780   util/[email protected] +884 -0
127781     BitKeeper file /home/stenn/ntp-dev/util/ntp-keygen.mdoc.in
127783   util/[email protected] +0 -0
127816     Delete: util/ntp-keygen.1
127899   util/[email protected] +54 -19
127987   util/[email protected] +3 -3
127990   util/[email protected] +3 -3
127993   util/[email protected] +2 -2
127996   util/[email protected] +2 -2
128138   util/[email protected] +3 -3
128141   util/[email protected] +3 -3
128144   util/[email protected] +2 -2
128147   util/[email protected] +2 -2
128308   util/[email protected] +3 -3
128311   util/[email protected] +3 -3
128314   util/[email protected] +2 -2
128317   util/[email protected] +2 -2
128442   util/[email protected] +21 -8
128445   util/[email protected] +23 -8
128448   util/[email protected] +5 -8
128451   util/[email protected] +772 -78
128550   util/[email protected] +3 -1
128553   util/[email protected] +743 -4
128652   util/[email protected] +3 -3
128655   util/[email protected] +3 -3
128658   util/[email protected] +2 -2
128661   util/[email protected] +2 -2
128755   util/[email protected] +3 -3
128758   util/[email protected] +3 -3
128761   util/[email protected] +2 -2
128764   util/[email protected] +2 -2
128953   util/[email protected] +3 -3
128956   util/[email protected] +3 -3
128959   util/[email protected] +2 -2
128962   util/[email protected] +2 -2
129062   util/[email protected] +5 -4
129065   util/[email protected] +3 -3
129068   util/[email protected] +2 -2
129071   util/[email protected] +2 -2
129095   util/[email protected] +1 -0
129192   util/[email protected] +21 -11
129195   util/[email protected] +4 -7
129198   util/[email protected] +3 -3
129201   util/[email protected] +4 -9
129239   util/[email protected] +1 -1
129324   util/[email protected] +3 -3
129327   util/[email protected] +3 -3
129330   util/[email protected] +2 -2
129333   util/[email protected] +2 -2
129412   util/[email protected] +3 -3
129415   util/[email protected] +3 -3
129418   util/[email protected] +2 -2
129421   util/[email protected] +2 -2
129537   util/[email protected] +10 -10
129540   util/[email protected] +5 -5
129543   util/[email protected] +8 -9
129546   util/[email protected] +8 -9
129712   sntp/libevent/include/event2/util[email protected] +8 -8
129851   sntp/libevent/util[email protected] +3 -3
129927   util/[email protected] +3 -3
129930   util/[email protected] +3 -3
129933   util/[email protected] +2 -2
129936   util/[email protected] +2 -2
130029   util/[email protected] +3 -3
130032   util/[email protected] +3 -3
130035   util/[email protected] +2 -2
130038   util/[email protected] +2 -2
130169   util/[email protected] +3 -3
130172   util/[email protected] +3 -3
130175   util/[email protected] +2 -2
130178   util/[email protected] +2 -2
130266   util/[email protected] +3 -3
130269   util/[email protected] +3 -3
130272   util/[email protected] +2 -2
130275   util/[email protected] +2 -2
130428   util/[email protected] +3 -3
130431   util/[email protected] +3 -3
130434   util/[email protected] +2 -2
130437   util/[email protected] +2 -2
130456   sntp/libevent/util[email protected] +1 -1
130533   util/[email protected] +3 -3
130536   util/[email protected] +3 -3
130539   util/[email protected] +2 -2
130542   util/[email protected] +2 -2
130689   util/[email protected] +3 -3
130692   util/[email protected] +3 -3
130695   util/[email protected] +2 -2
130698   util/[email protected] +2 -2
130801   util/[email protected] +52 -75
130804   util/[email protected] +12 -12
130807   util/[email protected] +8 -7
130810   util/[email protected] +3 -2
130935   util/[email protected] +3 -3
130938   util/[email protected] +3 -3
130941   util/[email protected] +2 -2
130944   util/[email protected] +2 -2
131073   util/[email protected] +3 -3
131076   util/[email protected] +3 -3
131079   util/[email protected] +2 -2
131082   util/[email protected] +2 -2
131181   util/[email protected] +5 -5
131184   util/[email protected] +3 -3
131187   util/[email protected] +2 -2
131190   util/[email protected] +2 -2
131293   util/[email protected] +3 -3
131296   util/[email protected] +3 -3
131299   util/[email protected] +2 -2
131302   util/[email protected] +2 -2
131410   util/[email protected] +3 -3
131413   util/[email protected] +3 -3
131416   util/[email protected] +2 -2
131419   util/[email protected] +2 -2
131506   util/[email protected] +3 -3
131509   util/[email protected] +3 -3
131512   util/[email protected] +2 -2
131515   util/[email protected] +2 -2
131609   util/[email protected] +3 -3
131612   util/[email protected] +3 -3
131615   util/[email protected] +2 -2
131618   util/[email protected] +2 -2
131766   util/[email protected] +50 -73
131769   util/[email protected] +12 -12
131772   util/[email protected] +4 -3
131775   util/[email protected] +3 -2
132018   util/[email protected] +2 -2
132021   util/[email protected] +3 -3
132024   util/[email protected] +2 -2
132027   util/[email protected] +2 -2
132120   util/[email protected] +2 -2
132123   util/[email protected] +3 -3
132126   util/[email protected] +2 -2
132129   util/[email protected] +2 -2
132233   util/[email protected] +2 -2
132236   util/[email protected] +3 -3
132239   util/[email protected] +2 -2
132242   util/[email protected] +2 -2
132327   util/[email protected] +2 -2
132330   util/[email protected] +3 -3
132333   util/[email protected] +2 -2
132336   util/[email protected] +2 -2
132421   util/[email protected] +2 -2
132424   util/[email protected] +3 -3
132427   util/[email protected] +2 -2
132430   util/[email protected] +2 -2
132512   util/[email protected] +2 -2
132515   util/[email protected] +3 -3
132518   util/[email protected] +2 -2
132521   util/[email protected] +2 -2
132630   util/[email protected] +2 -2
132633   util/[email protected] +3 -3
132636   util/[email protected] +2 -2
132639   util/[email protected] +2 -2
132764   util/[email protected] +2 -2
132767   util/[email protected] +3 -3
132770   util/[email protected] +2 -2
132773   util/[email protected] +2 -2
133008   sntp/libevent/util[email protected] +25 -2
133090   util/[email protected] +2 -2
133093   util/[email protected] +3 -3
133096   util/[email protected] +2 -2
133099   util/[email protected] +2 -2
133245   util/[email protected] +2 -2
133248   util/[email protected] +3 -3
133251   util/[email protected] +2 -2
133254   util/[email protected] +2 -2
133367   util/[email protected] +2 -2
133370   util/[email protected] +1 -1
133373   util/[email protected] +8 -7
133376   util/[email protected] +28 -19
133528   util/[email protected] +2 -2
133531   util/[email protected] +3 -3
133534   util/[email protected] +2 -2
133537   util/[email protected] +2 -2
133648   util/[email protected] +2 -2
133651   util/[email protected] +3 -3
133654   util/[email protected] +2 -2
133657   util/[email protected] +2 -2
133696   util/[email protected] +120 -93
133742   util/[email protected] +26 -21
133818   util/[email protected] +2 -2
133821   util/[email protected] +3 -3
133824   util/[email protected] +2 -2
133827   util/[email protected] +2 -2
133909   util/[email protected] +2 -2
133912   util/[email protected] +3 -3
133915   util/[email protected] +2 -2
133918   util/[email protected] +2 -2
134113   util/[email protected] +45 -19
134120   util/[email protected] +2 -2
134123   util/[email protected] +15 -18
134212   util/[email protected] +2 -2
134215   util/[email protected] +3 -3
134218   util/[email protected] +2 -2
134221   util/[email protected] +2 -2
134338   util/[email protected] +2 -2
134341   util/[email protected] +3 -3
134344   util/[email protected] +2 -2
134347   util/[email protected] +2 -2
134435   util/[email protected] +2 -2
134438   util/[email protected] +3 -3
134441   util/[email protected] +4 -4
134444   util/[email protected] +2 -2
134510   util/[email protected] +12 -9
134601   util/[email protected] +2 -2
134604   util/[email protected] +3 -3
134607   util/[email protected] +2 -2
134610   util/[email protected] +2 -2
134817   util/[email protected] +2 -2
134820   util/[email protected] +3 -3
134823   util/[email protected] +2 -2
134826   util/[email protected] +2 -2
134936   util/[email protected] +2 -2
134939   util/[email protected] +3 -3
134942   util/[email protected] +2 -2
134945   util/[email protected] +2 -2
135049   util/[email protected] +2 -2
135052   util/[email protected] +3 -3
135055   util/[email protected] +2 -2
135058   util/[email protected] +2 -2
135170   util/[email protected] +2 -2
135173   util/[email protected] +3 -3
135176   util/[email protected] +2 -2
135179   util/[email protected] +2 -2
135194   util/[email protected] +2 -0
135291   util/[email protected] +2 -2
135294   util/[email protected] +3 -3
135297   util/[email protected] +2 -2
135300   util/[email protected] +2 -2
135485   util/[email protected] +0 -1
135489   util/[email protected] +0 -1
135493   util/[email protected] +0 -1
135497   util/[email protected] +0 -1
135580   util/[email protected] +2 -2
135583   util/[email protected] +3 -3
135586   util/[email protected] +2 -2
135589   util/[email protected] +2 -2
135680   util/[email protected] +2 -2
135683   util/[email protected] +3 -3
135686   util/[email protected] +2 -2
135689   util/[email protected] +2 -2
135881   util/[email protected] +2 -2
135884   util/[email protected] +3 -3
135887   util/[email protected] +2 -2
135890   util/[email protected] +2 -2
135975   util/[email protected] +8 -6
136057   util/[email protected] +2 -2
136060   util/[email protected] +3 -3
136063   util/[email protected] +2 -2
136066   util/[email protected] +2 -2
136185   util/[email protected] +3 -8
136267   util/[email protected] +2 -2
136270   util/[email protected] +3 -3
136273   util/[email protected] +4 -4
136276   util/[email protected] +2 -2
136411   util/[email protected] +28 -12
136414   util/[email protected] +2 -2
136417   util/[email protected] +5 -5
136420   util/[email protected] +2 -2
136525   util/[email protected] +8 -13
136702   util/[email protected] +28 -12
136705   util/[email protected] +2 -2
136806   util/[email protected] +2 -2
136809   util/[email protected] +3 -3
136812   util/[email protected] +2 -2
136815   util/[email protected] +2 -2
136863   util/[email protected] +2 -2
137698   sntp/libevent/util[email protected] +23 -2
137857   util/[email protected] +9 -7
137862   util/[email protected] +0 -1
137966   util/[email protected] +2 -2
137969   util/[email protected] +3 -3
137972   util/[email protected] +2 -2
137975   util/[email protected] +2 -2
138066   util/[email protected] +2 -2
138069   util/[email protected] +3 -3
138072   util/[email protected] +2 -2
138075   util/[email protected] +2 -2
138184   util/[email protected] +2 -2
138187   util/[email protected] +3 -3
138190   util/[email protected] +2 -2
138193   util/[email protected] +2 -2
138288   util/[email protected] +2 -2
138291   util/[email protected] +3 -3
138294   util/[email protected] +2 -2
138297   util/[email protected] +2 -2
138388   util/[email protected] +2 -2
138391   util/[email protected] +3 -3
138394   util/[email protected] +2 -2
138397   util/[email protected] +2 -2
138539   util/[email protected] +2 -2
138542   util/[email protected] +3 -3
138545   util/[email protected] +2 -2
138548   util/[email protected] +2 -2
138732   util/[email protected] +2 -2
138735   util/[email protected] +3 -3
138738   util/[email protected] +2 -2
138741   util/[email protected] +2 -2
138838   util/[email protected] +2 -2
138841   util/[email protected] +3 -3
138844   util/[email protected] +2 -2
138847   util/[email protected] +2 -2
138956   util/[email protected] +2 -2
138959   util/[email protected] +3 -3
138962   util/[email protected] +2 -2
138965   util/[email protected] +2 -2
139065   util/[email protected] +2 -2
139068   util/[email protected] +3 -3
139071   util/[email protected] +2 -2
139074   util/[email protected] +2 -2
139165   util/[email protected] +2 -2
139168   util/[email protected] +3 -3
139171   util/[email protected] +2 -2
139174   util/[email protected] +2 -2
139611   sntp/libevent/include/event2/util[email protected] +593 -0
139612     BitKeeper file /home/stenn/ntp-dev-libevent/sntp/libevent/include/event2/util.h
139614   sntp/libevent/include/event2/util[email protected] +0 -0
139936   sntp/libevent/util[email protected] +256 -0
139937     BitKeeper file /home/stenn/ntp-dev-libevent/sntp/libevent/util-internal.h
139939   sntp/libevent/util[email protected] +0 -0
140010     isc/util.h is for use by lib/isc code only, not clients
140053   util/[email protected] +1 -1
140254   util/[email protected] +2 -2
140257   util/[email protected] +3 -3
140260   util/[email protected] +2 -2
140263   util/[email protected] +2 -2
140424   util/[email protected] +2 -2
140427   util/[email protected] +3 -3
140430   util/[email protected] +2 -2
140433   util/[email protected] +2 -2
140546   util/[email protected] +4 -4
140549   util/[email protected] +3 -3
140552   util/[email protected] +2 -2
140555   util/[email protected] +2 -2
140600   util/[email protected] +6 -1
140804   util/[email protected] +20 -13
141022   util/[email protected] +2 -2
141025   util/[email protected] +3 -3
141028   util/[email protected] +2 -2
141031   util/[email protected] +2 -2
141135   util/[email protected] +2 -2
141138   util/[email protected] +3 -3
141141   util/[email protected] +2 -2
141144   util/[email protected] +2 -2
141383   util/[email protected] +2 -2
141386   util/[email protected] +3 -3
141389   util/[email protected] +2 -2
141392   util/[email protected] +2 -2
141678   util/[email protected] +2 -2
141681   util/[email protected] +3 -3
141684   util/[email protected] +2 -2
141687   util/[email protected] +2 -2
141739   util/[email protected] +10 -2
141816   util/[email protected] +1 -1
141904   util/[email protected] +2 -2
141907   util/[email protected] +3 -3
141910   util/[email protected] +2 -2
141913   util/[email protected] +2 -2
142057   util/[email protected] +2 -2
142060   util/[email protected] +3 -3
142063   util/[email protected] +2 -2
142066   util/[email protected] +2 -2
142280   util/[email protected] +2 -2
142283   util/[email protected] +3 -3
142286   util/[email protected] +2 -2
142289   util/[email protected] +2 -2
142490   util/[email protected] +5 -5
142493   util/[email protected] +4 -4
142496   util/[email protected] +45 -2
142499   util/[email protected] +2 -2
142629   util/[email protected] +2 -2
142632   util/[email protected] +3 -3
142635   util/[email protected] +2 -2
142638   util/[email protected] +2 -2
142854   util/[email protected] +4 -4
142857   util/[email protected] +4 -4
142860   util/[email protected] +2 -2
142863   util/[email protected] +2 -2
142940   util/[email protected] +3 -8
143047   util/[email protected] +2 -2
143050   util/[email protected] +3 -3
143053   util/[email protected] +2 -2
143056   util/[email protected] +2 -2
143224   util/[email protected] +2 -2
143227   util/[email protected] +3 -3
143230   util/[email protected] +2 -2
143233   util/[email protected] +2 -2
143324   util/[email protected] +2 -2
143327   util/[email protected] +3 -3
143330   util/[email protected] +2 -2
143333   util/[email protected] +2 -2
143421   util/[email protected] +2 -2
143424   util/[email protected] +3 -3
143427   util/[email protected] +46 -2
143430   util/[email protected] +2 -2
143480   util/[email protected] +1 -0
143683   util/[email protected] +5 -5
143686   util/[email protected] +4 -4
143689   util/[email protected] +2 -45
143692   util/[email protected] +2 -2
143827   util/[email protected] +2 -2
143830   util/[email protected] +3 -3
143833   util/[email protected] +1 -1
143836   util/[email protected] +2 -2
143974   util/[email protected] +2 -2
143977   util/[email protected] +3 -3
143980   util/[email protected] +1 -1
143983   util/[email protected] +2 -2
144120   util/[email protected] +2 -2
144123   util/[email protected] +3 -3
144126   util/[email protected] +1 -1
144129   util/[email protected] +2 -2
144237   util/[email protected] +3 -3
144240   util/[email protected] +3 -3
144243   util/[email protected] +1 -1
144246   util/[email protected] +2 -2
144328   util/[email protected] +2 -2
144331   util/[email protected] +3 -3
144334   util/[email protected] +1 -1
144337   util/[email protected] +2 -2
144470   util/[email protected] +2 -2
144473   util/[email protected] +3 -3
144476   util/[email protected] +1 -1
144479   util/[email protected] +2 -2
144622   util/[email protected] +21 -16
144625   util/[email protected] +5 -5
144628   util/[email protected] +1 -1
144631   util/[email protected] +2 -2
144718   util/[email protected] +20 -15
144721   util/[email protected] +3 -3
144724   util/[email protected] +45 -2
144727   util/[email protected] +2 -2
144866   util/[email protected] +3 -3
144869   util/[email protected] +5 -5
144872   util/[email protected] +1 -1
144875   util/[email protected] +2 -2
144994   util/[email protected] +3 -3
144997   util/[email protected] +15 -6
145000   util/[email protected] +2 -47
145003   util/[email protected] +2 -2
145087   util/[email protected] +5 -5
145090   util/[email protected] +13 -4
145093   util/[email protected] +1 -1
145096   util/[email protected] +2 -2
145203   util/[email protected] +5 -5
145206   util/[email protected] +13 -4
145209   util/[email protected] +45 -2
145212   util/[email protected] +2 -2
145360   util/[email protected] +9 -1
145363   util/[email protected] +13 -2
145460   util/[email protected] +2 -2
145463   util/[email protected] +3 -3
145466   util/[email protected] +2 -2
145469   util/[email protected] +2 -2
145481   util/[email protected] +0 -1
145616   util/[email protected] +3 -1
145698   util/[email protected] +2 -2
145701   util/[email protected] +3 -3
145704   util/[email protected] +2 -2
145707   util/[email protected] +2 -2
145746   util/[email protected] +7 -23
146003   util/[email protected] +2 -2
146006   util/[email protected] +3 -3
146009   util/[email protected] +2 -2
146012   util/[email protected] +2 -2
146121   util/[email protected] +2 -2
146124   util/[email protected] +3 -3
146127   util/[email protected] +2 -2
146130   util/[email protected] +2 -2
146238   util/[email protected] +2 -2
146241   util/[email protected] +3 -3
146244   util/[email protected] +2 -2
146247   util/[email protected] +2 -2
146374   util/[email protected] +2 -2
146377   util/[email protected] +3 -3
146380   util/[email protected] +2 -2
146383   util/[email protected] +2 -2
146526   util/[email protected] +2 -2
146529   util/[email protected] +3 -3
146532   util/[email protected] +2 -2
146535   util/[email protected] +2 -2
146620   util/[email protected] +2 -2
146623   util/[email protected] +3 -3
146626   util/[email protected] +2 -2
146629   util/[email protected] +2 -2
146676   util/[email protected] +1 -2
146806   util/[email protected] +2 -2
146809   util/[email protected] +3 -3
146812   util/[email protected] +2 -2
146815   util/[email protected] +2 -2
146940   util/[email protected] +2 -2
146943   util/[email protected] +3 -3
146946   util/[email protected] +1 -94
146949   util/[email protected] +314 -0
146952   util/[email protected] +2 -2
147063   util/[email protected] +2 -2
147066   util/[email protected] +3 -3
147069   util/[email protected] +1 -51
147072   util/[email protected] +374 -0
147075   util/[email protected] +2 -2
147258   util/[email protected] +5 -5
147261   util/[email protected] +4 -4
147264   util/[email protected] +51 -1
147267   util/[email protected] +0 -374
147270   util/[email protected] +2 -2
147560   util/[email protected] +149 -126
147563   util/[email protected] +13 -1
147566   util/[email protected] +47 -38
147569   util/[email protected] +1 -94
147572   util/[email protected] +95 -79
147575   util/[email protected] +9 -3
147578   util/[email protected] +4 -1
147632   util/[email protected] +4 -4
147701   util/[email protected] +98 -105
147704   util/[email protected] +20 -22
147707   util/[email protected] +0 -358
147710   util/[email protected] +2 -2
147758   util/[email protected] +94 -1
148098   util/[email protected] +2 -2
148101   util/[email protected] +3 -3
148104   util/[email protected] +2 -2
148107   util/[email protected] +2 -2
148134   util/[email protected] +2 -2
148442   util/[email protected] +2 -2
148445   util/[email protected] +3 -3
148448   util/[email protected] +2 -2
148451   util/[email protected] +2 -2
148525   util/[email protected] +2 -2
148647   util/[email protected] +2 -2
148650   util/[email protected] +3 -3
148653   util/[email protected] +2 -2
148656   util/[email protected] +2 -2
148668   util/[email protected] +16 -21
148744   util/[email protected] +2 -2
148747   util/[email protected] +3 -3
148750   util/[email protected] +2 -2
148753   util/[email protected] +2 -2
148923   util/[email protected] +2 -2
148926   util/[email protected] +3 -3
148929   util/[email protected] +2 -2
148932   util/[email protected] +2 -2
149008   util/[email protected] +2 -2
149011   util/[email protected] +3 -3
149014   util/[email protected] +2 -2
149017   util/[email protected] +2 -2
149285   util/[email protected] +2 -2
149288   util/[email protected] +3 -3
149291   util/[email protected] +2 -2
149294   util/[email protected] +2 -2
149379   util/[email protected] +2 -2
149382   util/[email protected] +3 -3
149385   util/[email protected] +2 -2
149388   util/[email protected] +2 -2
149561   util/[email protected] +2 -2
149564   util/[email protected] +3 -3
149567   util/[email protected] +2 -2
149570   util/[email protected] +2 -2
149738   util/[email protected] +2 -2
149741   util/[email protected] +3 -3
149744   util/[email protected] +2 -2
149747   util/[email protected] +2 -2
150002   util/[email protected] +2 -2
150005   util/[email protected] +3 -3
150008   util/[email protected] +2 -2
150011   util/[email protected] +2 -2
150120   util/[email protected] +2 -2
150123   util/[email protected] +3 -3
150126   util/[email protected] +2 -2
150129   util/[email protected] +2 -2
150220   util/[email protected] +2 -2
150223   util/[email protected] +3 -3
150226   util/[email protected] +2 -2
150229   util/[email protected] +2 -2
150329   util/[email protected] +2 -2
150332   util/[email protected] +3 -3
150335   util/[email protected] +2 -2
150338   util/[email protected] +2 -2
150453   util/[email protected] +2 -2
150456   util/[email protected] +3 -3
150459   util/[email protected] +2 -2
150462   util/[email protected] +2 -2
150557   util/[email protected] +2 -2
150560   util/[email protected] +3 -3
150563   util/[email protected] +2 -2
150566   util/[email protected] +2 -2
150648   util/[email protected] +2 -2
150651   util/[email protected] +3 -3
150654   util/[email protected] +2 -2
150657   util/[email protected] +2 -2
150783   util/[email protected] +2 -2
150786   util/[email protected] +3 -3
150789   util/[email protected] +2 -2
150792   util/[email protected] +2 -2
150883   util/[email protected] +2 -2
150886   util/[email protected] +3 -3
150889   util/[email protected] +2 -2
150892   util/[email protected] +2 -2
151013   util/[email protected] +2 -2
151016   util/[email protected] +3 -3
151019   util/[email protected] +2 -2
151022   util/[email protected] +2 -2
151226   util/[email protected] +2 -2
151229   util/[email protected] +3 -3
151232   util/[email protected] +2 -2
151235   util/[email protected] +2 -2
151311   util/[email protected] +2 -2
151314   util/[email protected] +3 -3
151317   util/[email protected] +2 -2
151320   util/[email protected] +2 -2
151576   util/[email protected] +2 -2
151579   util/[email protected] +3 -3
151582   util/[email protected] +2 -2
151585   util/[email protected] +2 -2
151678   util/[email protected] +2 -2
151681   util/[email protected] +3 -3
151684   util/[email protected] +2 -2
151687   util/[email protected] +2 -2
151925   util/[email protected] +2 -2
151928   util/[email protected] +3 -3
151931   util/[email protected] +2 -2
151934   util/[email protected] +2 -2
152010   util/[email protected] +2 -2
152013   util/[email protected] +3 -3
152016   util/[email protected] +2 -2
152019   util/[email protected] +2 -2
152144   util/[email protected] +2 -2
152147   util/[email protected] +3 -3
152150   util/[email protected] +2 -2
152153   util/[email protected] +2 -2
152379   util/[email protected] +2 -2
152382   util/[email protected] +3 -3
152385   util/[email protected] +2 -2
152388   util/[email protected] +2 -2
152485   util/[email protected] +2 -2
152488   util/[email protected] +3 -3
152491   util/[email protected] +2 -2
152494   util/[email protected] +2 -2
152617   util/[email protected] +2 -2
152620   util/[email protected] +3 -3
152623   util/[email protected] +2 -2
152626   util/[email protected] +2 -2
152843   util/[email protected] +2 -2
152846   util/[email protected] +3 -3
152849   util/[email protected] +2 -2
152852   util/[email protected] +2 -2
152943   util/[email protected] +2 -2
152946   util/[email protected] +3 -3
152949   util/[email protected] +2 -2
152952   util/[email protected] +2 -2
153091   util/[email protected] +2 -2
153094   util/[email protected] +3 -3
153097   util/[email protected] +2 -2
153100   util/[email protected] +2 -2
153218   util/[email protected] +2 -2
153221   util/[email protected] +3 -3
153224   util/[email protected] +2 -2
153227   util/[email protected] +2 -2
153342   util/[email protected] +2 -2
153345   util/[email protected] +3 -3
153348   util/[email protected] +2 -2
153351   util/[email protected] +2 -2
153483   util/[email protected] +2 -2
153486   util/[email protected] +3 -3
153489   util/[email protected] +2 -2
153492   util/[email protected] +2 -2
153592   util/[email protected] +2 -2
153595   util/[email protected] +3 -3
153598   util/[email protected] +2 -2
153601   util/[email protected] +2 -2
153731   util/[email protected] +2 -2
153734   util/[email protected] +3 -3
153737   util/[email protected] +2 -2
153740   util/[email protected] +2 -2
153865   util/[email protected] +2 -2
153868   util/[email protected] +3 -3
153871   util/[email protected] +2 -2
153874   util/[email protected] +2 -2
154004   util/[email protected] +2 -2
154007   util/[email protected] +3 -3
154010   util/[email protected] +2 -2
154013   util/[email protected] +2 -2
154110   util/[email protected] +2 -2
154113   util/[email protected] +3 -3
154116   util/[email protected] +2 -2
154119   util/[email protected] +2 -2
154204   util/[email protected] +2 -2
154207   util/[email protected] +3 -3
154210   util/[email protected] +2 -2
154213   util/[email protected] +2 -2
154289   util/[email protected] +2 -2
154292   util/[email protected] +3 -3
154295   util/[email protected] +2 -2
154298   util/[email protected] +2 -2
154405   util/[email protected] +2 -2
154408   util/[email protected] +3 -3
154411   util/[email protected] +2 -2
154414   util/[email protected] +2 -2
154514   util/[email protected] +2 -2
154517   util/[email protected] +3 -3
154520   util/[email protected] +2 -2
154523   util/[email protected] +2 -2
154644   util/[email protected] +2 -2
154647   util/[email protected] +3 -3
154650   util/[email protected] +2 -2
154653   util/[email protected] +2 -2
154762   util/[email protected] +5 -5
154765   util/[email protected] +4 -4
154768   util/[email protected] +17 -17
154771   util/[email protected] +2 -2
154847   util/[email protected] +2 -2
154850   util/[email protected] +3 -3
154853   util/[email protected] +2 -2
154856   util/[email protected] +2 -2
155243   util/[email protected] +2 -2
155246   util/[email protected] +3 -3
155249   util/[email protected] +2 -2
155252   util/[email protected] +2 -2
155337   util/[email protected] +2 -2
155340   util/[email protected] +3 -3
155343   util/[email protected] +2 -2
155346   util/[email protected] +2 -2
155381   util/[email protected] +1 -1
155457   util/[email protected] +2 -2
155460   util/[email protected] +3 -3
155463   util/[email protected] +2 -2
155466   util/[email protected] +2 -2
155542   util/[email protected] +2 -2
155545   util/[email protected] +3 -3
155548   util/[email protected] +2 -2
155551   util/[email protected] +2 -2
155651   util/[email protected] +2 -2
155654   util/[email protected] +3 -3
155657   util/[email protected] +2 -2
155660   util/[email protected] +2 -2
156140   util/[email protected] +2 -2
156143   util/[email protected] +3 -3
156146   util/[email protected] +2 -2
156149   util/[email protected] +2 -2
156428   util/[email protected] +46 -46
156431   util/[email protected] +15 -15
156434   util/[email protected] +8 -8
156437   util/[email protected] +19 -19
156513   util/[email protected] +2 -2
156516   util/[email protected] +3 -3
156519   util/[email protected] +2 -2
156522   util/[email protected] +2 -2
156622   util/[email protected] +2 -2
156625   util/[email protected] +3 -3
156628   util/[email protected] +2 -2
156631   util/[email protected] +2 -2
156716   util/[email protected] +2 -2
156719   util/[email protected] +3 -3
156722   util/[email protected] +2 -2
156725   util/[email protected] +2 -2
157046   util/[email protected] +2 -2
157049   util/[email protected] +3 -3
157052   util/[email protected] +2 -2
157055   util/[email protected] +2 -2
157140   util/[email protected] +2 -2
157143   util/[email protected] +3 -3
157146   util/[email protected] +2 -2
157149   util/[email protected] +2 -2
157257   util/[email protected] +2 -2
157260   util/[email protected] +3 -3
157263   util/[email protected] +2 -2
157266   util/[email protected] +2 -2
157498   util/[email protected] +2 -2
157501   util/[email protected] +3 -3
157504   util/[email protected] +2 -2
157507   util/[email protected] +2 -2
157655   util/[email protected] +2 -2
157658   util/[email protected] +3 -3
157661   util/[email protected] +2 -2
157664   util/[email protected] +2 -2
157746   util/[email protected] +2 -2
157749   util/[email protected] +3 -3
157752   util/[email protected] +2 -2
157755   util/[email protected] +2 -2
157966   util/[email protected] +2 -2
157969   util/[email protected] +3 -3
157972   util/[email protected] +2 -2
157975   util/[email protected] +2 -2
158081   util/[email protected] +2 -2
158084   util/[email protected] +3 -3
158087   util/[email protected] +2 -2
158090   util/[email protected] +2 -2
158166   util/[email protected] +2 -2
158169   util/[email protected] +3 -3
158172   util/[email protected] +2 -2
158175   util/[email protected] +2 -2
158344   util/[email protected] +2 -2
158347   util/[email protected] +3 -3
158350   util/[email protected] +2 -2
158353   util/[email protected] +2 -2
158438   util/[email protected] +2 -2
158441   util/[email protected] +3 -3
158444   util/[email protected] +2 -2
158447   util/[email protected] +2 -2
158575   util/[email protected] +2 -2
158578   util/[email protected] +3 -3
158581   util/[email protected] +2 -2
158584   util/[email protected] +2 -2
158660   util/[email protected] +2 -2
158663   util/[email protected] +3 -3
158666   util/[email protected] +2 -2
158669   util/[email protected] +2 -2
159059   util/[email protected] +2 -2
159062   util/[email protected] +3 -3
159065   util/[email protected] +2 -2
159068   util/[email protected] +2 -2
159159   util/[email protected] +2 -2
159162   util/[email protected] +3 -3
159165   util/[email protected] +2 -2
159168   util/[email protected] +2 -2
159253   util/[email protected] +2 -2
159256   util/[email protected] +3 -3
159259   util/[email protected] +2 -2
159262   util/[email protected] +2 -2
159408   util/[email protected] +2 -2
159411   util/[email protected] +3 -3
159414   util/[email protected] +2 -2
159417   util/[email protected] +2 -2
159493   util/[email protected] +2 -2
159496   util/[email protected] +3 -3
159499   util/[email protected] +2 -2
159502   util/[email protected] +2 -2
159578   util/[email protected] +2 -2
159581   util/[email protected] +3 -3
159584   util/[email protected] +2 -2
159587   util/[email protected] +2 -2
159719   util/[email protected] +2 -2
159722   util/[email protected] +3 -3
159725   util/[email protected] +2 -2
159728   util/[email protected] +2 -2
159834   util/[email protected] +2 -2
159837   util/[email protected] +3 -3
159840   util/[email protected] +2 -2
159843   util/[email protected] +2 -2
160005   util/[email protected] +2 -2
160008   util/[email protected] +3 -3
160011   util/[email protected] +2 -2
160014   util/[email protected] +2 -2
160225   util/[email protected] +2 -2
160228   util/[email protected] +3 -3
160231   util/[email protected] +2 -2
160234   util/[email protected] +2 -2
160360   util/[email protected] +2 -2
160363   util/[email protected] +3 -3
160366   util/[email protected] +2 -2
160369   util/[email protected] +2 -2
160478   util/[email protected] +2 -2
160481   util/[email protected] +3 -3
160484   util/[email protected] +2 -2
160487   util/[email protected] +2 -2
160587   util/[email protected] +2 -2
160590   util/[email protected] +3 -3
160593   util/[email protected] +2 -2
160596   util/[email protected] +2 -2
160672   util/[email protected] +2 -2
160675   util/[email protected] +3 -3
160678   util/[email protected] +2 -2
160681   util/[email protected] +2 -2
161049   util/[email protected] +16 -19
162314   util/[email protected] +2 -2
162317   util/[email protected] +3 -3
162320   util/[email protected] +2 -2
162323   util/[email protected] +2 -2
162429   util/[email protected] +2 -2
162432   util/[email protected] +3 -3
162435   util/[email protected] +2 -2
162438   util/[email protected] +2 -2
162514   util/[email protected] +2 -2
162517   util/[email protected] +3 -3
162520   util/[email protected] +2 -2
162523   util/[email protected] +2 -2
162663   util/[email protected] +2 -2
162666   util/[email protected] +3 -3
162669   util/[email protected] +2 -2
162672   util/[email protected] +2 -2
162781   util/[email protected] +2 -2
162784   util/[email protected] +3 -3
162787   util/[email protected] +2 -2
162790   util/[email protected] +2 -2
162901   util/[email protected] +2 -2
162904   util/[email protected] +3 -3
162907   util/[email protected] +2 -2
162910   util/[email protected] +2 -2
162986   util/[email protected] +2 -2
162989   util/[email protected] +3 -3
162992   util/[email protected] +2 -2
162995   util/[email protected] +2 -2
163126   util/[email protected] +2 -2
163129   util/[email protected] +3 -3
163132   util/[email protected] +2 -2
163135   util/[email protected] +2 -2
163144   util/[email protected] +1 -1
163393   util/[email protected] +2 -2
163396   util/[email protected] +3 -3
163399   util/[email protected] +2 -2
163402   util/[email protected] +2 -2
163580   util/[email protected] +2 -2
163583   util/[email protected] +3 -3
163586   util/[email protected] +2 -2
163589   util/[email protected] +2 -2
163724   util/[email protected] +2 -2
163727   util/[email protected] +3 -3
163730   util/[email protected] +2 -2
163733   util/[email protected] +2 -2
163832   util/[email protected] +2 -2
163835   util/[email protected] +3 -3
163838   util/[email protected] +2 -2
163841   util/[email protected] +2 -2
164479   util/[email protected] +2 -2
164482   util/[email protected] +3 -3
164485   util/[email protected] +2 -2
164488   util/[email protected] +2 -2
164564   util/[email protected] +4 -4
164567   util/[email protected] +4 -4
164570   util/[email protected] +3 -3
164573   util/[email protected] +2 -2
164733   util/[email protected] +2 -2
164736   util/[email protected] +3 -3
164739   util/[email protected] +2 -2
164742   util/[email protected] +2 -2
164818   util/[email protected] +4 -4
164821   util/[email protected] +4 -4
164824   util/[email protected] +3 -3
164827   util/[email protected] +2 -2
165048   util/[email protected] +2 -2
165051   util/[email protected] +3 -3
165054   util/[email protected] +2 -2
165057   util/[email protected] +2 -2
165094   util/[email protected] +2 -9
165186   util/[email protected] +2 -2
165189   util/[email protected] +3 -3
165192   util/[email protected] +46 -2
165195   util/[email protected] +2 -2
165402   util/[email protected] +17 -9
165436   util/[email protected] +1 -1
165512   util/[email protected] +2 -2
165515   util/[email protected] +3 -3
165518   util/[email protected] +1 -1
165521   util/[email protected] +2 -2
165597   util/[email protected] +2 -2
165600   util/[email protected] +3 -3
165603   util/[email protected] +2 -2
165606   util/[email protected] +2 -2
165723   util/[email protected] +2 -2
165726   util/[email protected] +3 -3
165729   util/[email protected] +1 -1
165732   util/[email protected] +2 -2
165783   util/[email protected], [email protected] +0 -0
165859   util/[email protected] +2 -2
165862   util/[email protected] +3 -3
165865   util/[email protected] +1 -1
165868   util/[email protected] +2 -2
166027   util/[email protected] +2 -2
166030   util/[email protected] +3 -3
166033   util/[email protected] +1 -1
166036   util/[email protected] +2 -2
166118   util/[email protected] +2 -2
166121   util/[email protected] +3 -3
166124   util/[email protected] +2 -2
166127   util/[email protected] +2 -2
166266   util/[email protected] +4 -2
166308   util/[email protected] +6 -0
166409   util/[email protected] +2 -2
166412   util/[email protected] +3 -3
166415   util/[email protected] +1 -1
166418   util/[email protected] +2 -2
166461     Delete: util/ntp-keygen-opts.c
166464     Delete: util/ntp-keygen-opts.h
166467     Delete: util/ntp-keygen-opts.texi
166470     Delete: util/ntp-keygen.1
166648   util/[email protected] +981 -0
166649     BitKeeper file C:/ntp/ntp-dev-1413/util/ntp-keygen-opts.c
166651   util/[email protected] +0 -0
166653   util/[email protected] +303 -0
166654     BitKeeper file C:/ntp/ntp-dev-1413/util/ntp-keygen-opts.h
166656   util/[email protected] +0 -0
166658   util/[email protected] +319 -0
166659     BitKeeper file C:/ntp/ntp-dev-1413/util/ntp-keygen-opts.texi
166661   util/[email protected] +0 -0
166663   util/[email protected] +189 -0
166664     BitKeeper file C:/ntp/ntp-dev-1413/util/ntp-keygen.1
166666   util/[email protected] +0 -0
166752   util/[email protected] +2 -2
166755   util/[email protected] +3 -3
166758   util/[email protected] +1 -1
166761   util/[email protected] +2 -2
166768   util/[email protected] +7 -0
166777     BitKeeper file /m/pogo/users/murray/tg2/util/tg2.c
166787   util/[email protected] +2 -1
166790   util/[email protected] +2499 -0
166791     BitKeeper file /m/pogo/users/murray/tg2/util/tg2.c
166793   util/[email protected] +0 -0
166909   util/[email protected] +2 -2
166912   util/[email protected] +3 -3
166915   util/[email protected] +2 -46
166918   util/[email protected] +2 -2
166988   util/[email protected] +1 -1
166991   util/[email protected] +1 -1
166994   util/[email protected] +2 -2
166997   util/[email protected] +2 -2
167096   util/[email protected] +2 -2
167099   util/[email protected] +3 -3
167102   util/[email protected] +3 -3
167105   util/[email protected] +2 -2
167181   util/[email protected] +2 -2
167184   util/[email protected] +3 -3
167187   util/[email protected] +46 -2
167190   util/[email protected] +2 -2
167290   util/[email protected] +2 -2
167293   util/[email protected] +3 -3
167296   util/[email protected] +1 -1
167299   util/[email protected] +2 -2
167372   util/[email protected] +5 -5
167375   util/[email protected] +4 -4
167378   util/[email protected] +4 -4
167381   util/[email protected] +2 -2
167488   util/[email protected] +2 -2
167491   util/[email protected] +3 -3
167494   util/[email protected] +1 -1
167497   util/[email protected] +2 -2
167583   util/[email protected] +4 -1
167659   util/[email protected] +2 -2
167662   util/[email protected] +3 -3
167665   util/[email protected] +2 -46
167668   util/[email protected] +2 -2
167795   util/[email protected] +2 -2
167798   util/[email protected] +3 -3
167801   util/[email protected] +3 -3
167804   util/[email protected] +2 -2
167976   util/[email protected] +5 -3
168050   util/[email protected] +5 -5
168053   util/[email protected] +4 -4
168056   util/[email protected] +5 -5
168059   util/[email protected] +2 -2
168179   util/[email protected] +4 -4
168182   util/[email protected] +2 -2
168185   util/[email protected] +5 -5
168188   util/[email protected] +1 -1
168275   util/[email protected] +39 -47
168278   util/[email protected] +11 -32
168281   util/[email protected] +1 -1
168284   util/[email protected] +3 -3
168605   util/[email protected] +1 -0
168678   util/[email protected] +2 -2
168681   util/[email protected] +3 -3
168684   util/[email protected] +1 -1
168687   util/[email protected] +2 -2
168796   util/[email protected] +3 -0
168923   util/[email protected] +2 -2
168926   util/[email protected] +3 -3
168929   util/[email protected] +1 -1
168932   util/[email protected] +2 -2
168948   util/[email protected] +1 -1
169136   util/[email protected] +2 -2
169139   util/[email protected] +3 -3
169142   util/[email protected] +2 -2
169145   util/[email protected] +2 -2
169172   util/[email protected] +24 -4
169245   util/[email protected] +2 -2
169248   util/[email protected] +3 -3
169251   util/[email protected] +2 -2
169254   util/[email protected] +2 -2
169387   util/[email protected] +1 -1
169473   util/[email protected] +2 -2
169476   util/[email protected] +3 -3
169479   util/[email protected] +2 -2
169482   util/[email protected] +2 -2
169574   util/[email protected] +7 -23
169678   util/[email protected] +2 -2
169681   util/[email protected] +3 -3
169684   util/[email protected] +2 -2
169687   util/[email protected] +2 -2
169986   util/[email protected] +2 -2
169989   util/[email protected] +3 -3
169992   util/[email protected] +1 -1
169995   util/[email protected] +2 -2
170124   util/[email protected] +1 -0
170197   util/[email protected] +2 -2
170200   util/[email protected] +3 -3
170203   util/[email protected] +1 -1
170206   util/[email protected] +2 -2
170365   util/[email protected] +2 -2
170368   util/[email protected] +3 -3
170371   util/[email protected] +1 -1
170374   util/[email protected] +2 -2
170479   util/[email protected] +1 -9
170670   util/[email protected] +2 -2
170673   util/[email protected] +3 -3
170676   util/[email protected] +1 -1
170679   util/[email protected] +2 -2
170849   util/[email protected] +2 -2
170852   util/[email protected] +3 -3
170855   util/[email protected] +1 -1
170858   util/[email protected] +2 -2
171017   util/[email protected] +2 -2
171020   util/[email protected] +3 -3
171023   util/[email protected] +1 -1
171026   util/[email protected] +2 -2
171159   util/[email protected] +2 -2
171162   util/[email protected] +3 -3
171165   util/[email protected] +1 -1
171168   util/[email protected] +2 -2
171303   util/[email protected] +2 -2
171306   util/[email protected] +3 -3
171309   util/[email protected] +1 -1
171312   util/[email protected] +2 -2
171464   util/[email protected] +7 -1
171537   util/[email protected] +2 -2
171540   util/[email protected] +3 -3
171543   util/[email protected] +1 -1
171546   util/[email protected] +2 -2
171628   util/[email protected] +2 -2
171631   util/[email protected] +3 -3
171634   util/[email protected] +1 -1
171637   util/[email protected] +2 -2
171731   util/[email protected] +2 -2
171734   util/[email protected] +3 -3
171737   util/[email protected] +2 -2
171740   util/[email protected] +2 -2
171844   util/[email protected] +2 -2
171847   util/[email protected] +3 -3
171850   util/[email protected] +1 -1
171853   util/[email protected] +2 -2
171969   util/[email protected] +2 -2
171972   util/[email protected] +3 -3
171975   util/[email protected] +1 -1
171978   util/[email protected] +2 -2
172152   util/[email protected] +3 -3
172155   util/[email protected] +4 -4
172158   util/[email protected] +3 -3
172161   util/[email protected] +2 -2
172334   util/[email protected] +4 -6
172339   util/[email protected] +5 -30
172342   util/[email protected] +2 -6
172345   util/[email protected] +4 -8
172348   util/[email protected] +2 -2
172421   util/[email protected] +2 -2
172424   util/[email protected] +3 -3
172427   util/[email protected] +1 -1
172430   util/[email protected] +2 -2
172527   util/[email protected] +2 -2
172530   util/[email protected] +3 -3
172533   util/[email protected] +1 -1
172536   util/[email protected] +2 -2
172657   util/[email protected] +2 -2
172660   util/[email protected] +3 -3
172663   util/[email protected] +1 -1
172666   util/[email protected] +2 -2
172779   util/[email protected] +2 -2
172782   util/[email protected] +3 -3
172785   util/[email protected] +1 -1
172788   util/[email protected] +2 -2
172927   util/[email protected] +2 -2
172930   util/[email protected] +3 -3
172933   util/[email protected] +2 -2
172936   util/[email protected] +2 -2
173171   util/[email protected] +5 -4
173251   util/[email protected] +2 -2
173254   util/[email protected] +3 -3
173257   util/[email protected] +1 -1
173260   util/[email protected] +2 -2
173658   lib/isc/include/isc/util[email protected] +26 -18
174407   util/[email protected] +2 -2
174410   util/[email protected] +3 -3
174413   util/[email protected] +1 -1
174416   util/[email protected] +2 -2
174547   lib/isc/include/isc/util[email protected] +0 -0
174548     Rename: include/isc/util.h -> lib/isc/include/isc/util.h
174802   util/[email protected] +6 -1
174945   util/[email protected] +2 -2
174948   util/[email protected] +3 -3
174951   util/[email protected] +1 -1
174954   util/[email protected] +2 -2
175090   util/[email protected] +2 -2
175093   util/[email protected] +3 -3
175096   util/[email protected] +1 -1
175099   util/[email protected] +2 -2
175202   util/[email protected] +2 -2
175205   util/[email protected] +3 -3
175208   util/[email protected] +1 -1
175211   util/[email protected] +2 -2
175323   util/[email protected] +2 -2
175326   util/[email protected] +3 -3
175329   util/[email protected] +1 -1
175332   util/[email protected] +2 -2
175417   util/[email protected] +2 -2
175420   util/[email protected] +3 -3
175423   util/[email protected] +1 -1
175426   util/[email protected] +2 -2
175536   util/[email protected] +2 -2
175539   util/[email protected] +3 -3
175542   util/[email protected] +1 -1
175545   util/[email protected] +2 -2
175628   util/[email protected] +2 -2
175631   util/[email protected] +3 -3
175634   util/[email protected] +1 -1
175637   util/[email protected] +2 -2
175759   util/[email protected] +2 -2
175762   util/[email protected] +3 -3
175765   util/[email protected] +3 -3
175768   util/[email protected] +2 -2
176016   util/[email protected] +2 -2
176019   util/[email protected] +3 -3
176022   util/[email protected] +1 -1
176025   util/[email protected] +2 -2
176263   util/[email protected] +2 -2
176266   util/[email protected] +3 -3
176269   util/[email protected] +1 -1
176272   util/[email protected] +2 -2
176584   util/[email protected] +2 -2
176587   util/[email protected] +3 -3
176590   util/[email protected] +1 -1
176593   util/[email protected] +2 -2
176745   util/[email protected] +2 -2
176748   util/[email protected] +3 -3
176751   util/[email protected] +1 -1
176754   util/[email protected] +2 -2
176970   util/[email protected] +2 -2
176973   util/[email protected] +3 -3
176976   util/[email protected] +1 -1
176979   util/[email protected] +2 -2
177188   util/[email protected] +2 -2
177191   util/[email protected] +3 -3
177194   util/[email protected] +1 -1
177197   util/[email protected] +2 -2
177307   util/[email protected] +2 -2
177310   util/[email protected] +3 -3
177313   util/[email protected] +1 -1
177316   util/[email protected] +2 -2
177402   util/[email protected] +2 -2
177405   util/[email protected] +3 -3
177408   util/[email protected] +1 -1
177411   util/[email protected] +2 -2
177630   util/[email protected] +2 -2
177633   util/[email protected] +3 -3
177636   util/[email protected] +1 -1
177639   util/[email protected] +2 -2
177721   util/[email protected] +2 -2
177724   util/[email protected] +3 -3
177727   util/[email protected] +1 -1
177730   util/[email protected] +2 -2
177815   util/[email protected] +2 -2
177818   util/[email protected] +3 -3
177821   util/[email protected] +1 -1
177824   util/[email protected] +2 -2
178427   util/[email protected] +2 -2
178430   util/[email protected] +3 -3
178433   util/[email protected] +1 -1
178436   util/[email protected] +2 -2
178704   util/[email protected] +3 -3
178707   util/[email protected] +4 -4
178710   util/[email protected] +1 -1
178713   util/[email protected] +2 -2
179159   util/[email protected] +2 -2
179162   util/[email protected] +3 -3
179165   util/[email protected] +1 -1
179168   util/[email protected] +2 -2
179262   util/[email protected] +2 -2
179265   util/[email protected] +3 -3
179268   util/[email protected] +1 -1
179271   util/[email protected] +2 -2
179405   util/[email protected] +2 -2
179408   util/[email protected] +3 -3
179411   util/[email protected] +1 -1
179414   util/[email protected] +2 -2
179508   util/[email protected] +2 -2
179511   util/[email protected] +3 -3
179514   util/[email protected] +1 -1
179517   util/[email protected] +2 -2
179637   util/[email protected] +2 -2
179640   util/[email protected] +3 -3
179643   util/[email protected] +1 -1
179646   util/[email protected] +2 -2
179811   util/[email protected] +2 -2
179814   util/[email protected] +3 -3
179817   util/[email protected] +1 -1
179820   util/[email protected] +2 -2
180333   util/[email protected] +2 -2
180336   util/[email protected] +3 -3
180339   util/[email protected] +1 -1
180342   util/[email protected] +2 -2
180550   util/[email protected] +2 -2
180553   util/[email protected] +3 -3
180556   util/[email protected] +2 -2
180559   util/[email protected] +2 -2
180630   util/[email protected] +90 -91
180633   util/[email protected] +62 -43
180636   util/[email protected] +2 -2
180639   util/[email protected] +4 -4
181959   util/[email protected] +2 -2
181962   util/[email protected] +3 -3
181965   util/[email protected] +1 -1
181968   util/[email protected] +2 -2
182101   util/[email protected] +2 -2
182104   util/[email protected] +3 -3
182107   util/[email protected] +2 -2
182110   util/[email protected] +2 -2
182204   util/[email protected] +2 -2
182207   util/[email protected] +3 -3
182210   util/[email protected] +1 -1
182213   util/[email protected] +2 -2
182364   util/[email protected] +2 -2
182367   util/[email protected] +3 -3
182370   util/[email protected] +1 -1
182373   util/[email protected] +2 -2
182481   util/[email protected] +2 -2
182484   util/[email protected] +3 -3
182487   util/[email protected] +1 -1
182490   util/[email protected] +2 -2
182625   util/[email protected] +2 -2
182628   util/[email protected] +3 -3
182631   util/[email protected] +1 -1
182634   util/[email protected] +2 -2
182728   util/[email protected] +2 -2
182731   util/[email protected] +3 -3
182734   util/[email protected] +2 -2
182737   util/[email protected] +2 -2
182859   util/[email protected] +2 -2
182862   util/[email protected] +3 -3
182865   util/[email protected] +2 -2
182868   util/[email protected] +2 -2
183457   util/[email protected] +2 -2
183460   util/[email protected] +3 -3
183463   util/[email protected] +1 -1
183466   util/[email protected] +2 -2
183685   util/[email protected] +2 -2
183688   util/[email protected] +3 -3
183691   util/[email protected] +2 -2
183694   util/[email protected] +2 -2
183882   util/[email protected] +2 -2
183885   util/[email protected] +3 -3
183888   util/[email protected] +2 -2
183891   util/[email protected] +2 -2
184025   util/[email protected] +2 -2
184028   util/[email protected] +3 -3
184031   util/[email protected] +1 -1
184034   util/[email protected] +2 -2
184224   util/[email protected] +4 -4
184227   util/[email protected] +4 -4
184230   util/[email protected] +1 -1
184233   util/[email protected] +2 -2
184306   util/[email protected] +4 -4
184309   util/[email protected] +4 -4
184312   util/[email protected] +1 -1
184315   util/[email protected] +2 -2
184478   util/[email protected] +2 -2
184481   util/[email protected] +3 -3
184484   util/[email protected] +1 -1
184487   util/[email protected] +2 -2
184586   util/[email protected] +2 -2
184589   util/[email protected] +3 -3
184592   util/[email protected] +1 -1
184595   util/[email protected] +2 -2
184674   util/[email protected] +3 -3
184677   util/[email protected] +3 -3
184680   util/[email protected] +1 -1
184683   util/[email protected] +3 -3
184865   util/[email protected] +2 -2
184868   util/[email protected] +3 -3
184871   util/[email protected] +1 -1
184874   util/[email protected] +2 -2
185059   util/[email protected] +2 -2
185062   util/[email protected] +3 -3
185065   util/[email protected] +2 -2
185068   util/[email protected] +2 -2
185150   util/[email protected] +2 -2
185153   util/[email protected] +3 -3
185156   util/[email protected] +2 -2
185159   util/[email protected] +2 -2
185344   util/[email protected] +2 -2
185347   util/[email protected] +3 -3
185350   util/[email protected] +2 -2
185353   util/[email protected] +2 -2
185472   util/[email protected] +2 -2
185475   util/[email protected] +3 -3
185478   util/[email protected] +2 -2
185481   util/[email protected] +2 -2
185768   util/[email protected] +2 -2
185771   util/[email protected] +3 -3
185774   util/[email protected] +1 -1
185777   util/[email protected] +2 -2
185866   util/[email protected] +2 -2
185869   util/[email protected] +3 -3
185872   util/[email protected] +1 -1
185875   util/[email protected] +2 -2
185911   util/[email protected] +2 -6
186075   util/[email protected] +2 -2
186078   util/[email protected] +3 -3
186081   util/[email protected] +1 -1
186084   util/[email protected] +2 -2
186184   util/[email protected] +2 -2
186187   util/[email protected] +3 -3
186190   util/[email protected] +1 -1
186193   util/[email protected] +2 -2
186266   util/[email protected] +2 -2
186269   util/[email protected] +3 -3
186272   util/[email protected] +1 -1
186275   util/[email protected] +2 -2
186323   util/[email protected] +27 -16
186507   util/[email protected] +7 -7
186609   util/[email protected] +2 -2
186612   util/[email protected] +3 -3
186615   util/[email protected] +1 -1
186618   util/[email protected] +2 -2
186733   util/[email protected] +2 -2
186736   util/[email protected] +3 -3
186739   util/[email protected] +1 -1
186742   util/[email protected] +2 -2
186947   util/[email protected] +2 -2
186950   util/[email protected] +3 -3
186953   util/[email protected] +1 -1
186956   util/[email protected] +2 -2
187197   util/[email protected] +2 -2
187200   util/[email protected] +3 -3
187203   util/[email protected] +2 -2
187206   util/[email protected] +2 -2
187279   util/[email protected] +2 -2
187282   util/[email protected] +3 -3
187285   util/[email protected] +2 -2
187288   util/[email protected] +2 -2
187727   util/[email protected] +2 -2
187730   util/[email protected] +3 -3
187733   util/[email protected] +1 -1
187736   util/[email protected] +2 -2
187821   util/[email protected] +2 -2
187824   util/[email protected] +3 -3
187827   util/[email protected] +2 -2
187830   util/[email protected] +2 -2
187903   util/[email protected] +2 -2
187906   util/[email protected] +3 -3
187909   util/[email protected] +2 -2
187912   util/[email protected] +2 -2
188153   util/[email protected] +1 -4
188247   util/[email protected] +2 -2
188250   util/[email protected] +3 -3
188253   util/[email protected] +1 -1
188256   util/[email protected] +2 -2
188363   util/[email protected] +2 -2
188366   util/[email protected] +3 -3
188369   util/[email protected] +1 -1
188372   util/[email protected] +2 -2
188445   util/[email protected] +2 -2
188448   util/[email protected] +3 -3
188451   util/[email protected] +2 -2
188454   util/[email protected] +2 -2
188545   util/[email protected] +2 -2
188548   util/[email protected] +3 -3
188551   util/[email protected] +2 -2
188554   util/[email protected] +2 -2
189004   util/[email protected] +2 -2
189007   util/[email protected] +3 -3
189010   util/[email protected] +1 -1
189013   util/[email protected] +2 -2
189107   util/[email protected] +2 -2
189110   util/[email protected] +3 -3
189113   util/[email protected] +2 -2
189116   util/[email protected] +2 -2
189213   util/[email protected] +2 -2
189216   util/[email protected] +3 -3
189219   util/[email protected] +1 -1
189222   util/[email protected] +2 -2
189249   util/[email protected] +0 -1
189334   util/[email protected] +2 -2
189337   util/[email protected] +3 -3
189340   util/[email protected] +1 -1
189343   util/[email protected] +2 -2
189491   util/[email protected] +2 -2
189494   util/[email protected] +3 -3
189497   util/[email protected] +1 -1
189500   util/[email protected] +2 -2
189600   util/[email protected] +2 -2
189603   util/[email protected] +3 -3
189606   util/[email protected] +1 -1
189609   util/[email protected] +2 -2
189694   util/[email protected] +2 -2
189697   util/[email protected] +3 -3
189700   util/[email protected] +1 -1
189703   util/[email protected] +2 -2
189782   util/[email protected] +2 -2
189785   util/[email protected] +3 -3
189788   util/[email protected] +1 -1
189791   util/[email protected] +2 -2
189864   util/[email protected] +1 -1
189867   util/[email protected] +1 -1
189870   util/[email protected] +2 -2
189873   util/[email protected] +2 -2
190010   util/[email protected] +2 -2
190013   util/[email protected] +3 -3
190016   util/[email protected] +1 -1
190019   util/[email protected] +2 -2
190151   util/[email protected] +2 -2
190154   util/[email protected] +3 -3
190157   util/[email protected] +1 -1
190160   util/[email protected] +2 -2
190251   util/[email protected] +2 -2
190254   util/[email protected] +3 -3
190257   util/[email protected] +1 -1
190260   util/[email protected] +2 -2
190371   util/[email protected] +2 -2
190374   util/[email protected] +3 -3
190377   util/[email protected] +1 -1
190380   util/[email protected] +2 -2
190486   util/[email protected] +2 -2
190489   util/[email protected] +3 -3
190492   util/[email protected] +1 -1
190495   util/[email protected] +2 -2
190592   util/[email protected] +2 -2
190595   util/[email protected] +3 -3
190598   util/[email protected] +1 -1
190601   util/[email protected] +2 -2
190722   util/[email protected] +2 -2
190725   util/[email protected] +3 -3
190728   util/[email protected] +1 -1
190731   util/[email protected] +2 -2
190873   util/[email protected] +2 -2
190876   util/[email protected] +3 -3
190879   util/[email protected] +1 -1
190882   util/[email protected] +2 -2
190985   util/[email protected] +2 -2
190988   util/[email protected] +3 -3
190991   util/[email protected] +1 -1
190994   util/[email protected] +2 -2
191129   util/[email protected] +2 -2
191132   util/[email protected] +3 -3
191135   util/[email protected] +1 -1
191138   util/[email protected] +2 -2
191293   util/[email protected] +2 -2
191296   util/[email protected] +3 -3
191299   util/[email protected] +1 -1
191302   util/[email protected] +2 -2
191387   util/[email protected] +2 -2
191390   util/[email protected] +3 -3
191393   util/[email protected] +1 -1
191396   util/[email protected] +2 -2
191499   util/[email protected] +2 -2
191502   util/[email protected] +3 -3
191505   util/[email protected] +1 -1
191508   util/[email protected] +2 -2
191590   util/[email protected] +2 -2
191593   util/[email protected] +3 -3
191596   util/[email protected] +1 -1
191599   util/[email protected] +2 -2
191699   util/[email protected] +2 -2
191702   util/[email protected] +3 -3
191705   util/[email protected] +1 -1
191708   util/[email protected] +2 -2
191810   util/[email protected] +2 -2
191813   util/[email protected] +3 -3
191816   util/[email protected] +1 -1
191819   util/[email protected] +2 -2
191926   util/[email protected] +2 -2
191929   util/[email protected] +3 -3
191932   util/[email protected] +2 -2
191935   util/[email protected] +2 -2
192017   util/[email protected] +2 -2
192020   util/[email protected] +3 -3
192023   util/[email protected] +1 -1
192026   util/[email protected] +2 -2
192114   util/[email protected] +2 -2
192117   util/[email protected] +3 -3
192120   util/[email protected] +1 -1
192123   util/[email protected] +2 -2
192259   util/[email protected] +2 -2
192262   util/[email protected] +3 -3
192265   util/[email protected] +1 -1
192268   util/[email protected] +2 -2
192366   util/[email protected] +2 -2
192369   util/[email protected] +3 -3
192372   util/[email protected] +1 -1
192375   util/[email protected] +2 -2
192458   util/[email protected] +2 -2
192461   util/[email protected] +3 -3
192464   util/[email protected] +1 -1
192467   util/[email protected] +2 -2
192571   util/[email protected] +2 -2
192574   util/[email protected] +3 -3
192577   util/[email protected] +1 -1
192580   util/[email protected] +2 -2
192741   util/[email protected] +2 -2
192744   util/[email protected] +3 -3
192747   util/[email protected] +2 -2
192750   util/[email protected] +2 -2
192842   util/[email protected] +2 -2
192845   util/[email protected] +3 -3
192848   util/[email protected] +1 -1
192851   util/[email protected] +2 -2
192918   util/[email protected] +2 -2
192921   util/[email protected] +3 -3
192924   util/[email protected] +1 -1
192927   util/[email protected] +2 -2
193218   util/[email protected] +2 -2
193221   util/[email protected] +3 -3
193224   util/[email protected] +1 -1
193227   util/[email protected] +2 -2
193294   util/[email protected] +2 -2
193297   util/[email protected] +3 -3
193300   util/[email protected] +1 -1
193303   util/[email protected] +2 -2
193400   util/[email protected] +2 -2
193403   util/[email protected] +3 -3
193406   util/[email protected] +1 -1
193409   util/[email protected] +2 -2
193607   util/[email protected] +2 -2
193610   util/[email protected] +3 -3
193613   util/[email protected] +1 -1
193616   util/[email protected] +2 -2
193686   util/[email protected] +2 -2
193689   util/[email protected] +3 -3
193692   util/[email protected] +1 -1
193695   util/[email protected] +2 -2
193829   util/[email protected] +2 -2
193832   util/[email protected] +3 -3
193835   util/[email protected] +1 -1
193838   util/[email protected] +2 -2
194004   util/[email protected] +2 -2
194007   util/[email protected] +3 -3
194010   util/[email protected] +1 -1
194013   util/[email protected] +2 -2
194562   util/[email protected] +2 -2
194565   util/[email protected] +3 -3
194568   util/[email protected] +1 -1
194571   util/[email protected] +2 -2
194580   util/[email protected] +1 -1
194682   util/[email protected] +1 -1
194740   util/[email protected] +2 -2
194743   util/[email protected] +3 -3
194746   util/[email protected] +1 -1
194749   util/[email protected] +2 -2
194758   util/[email protected] +1 -1
194945   util/[email protected] +2 -2
194948   util/[email protected] +3 -3
194951   util/[email protected] +1 -1
194954   util/[email protected] +2 -2
195030   util/[email protected] +2 -2
195033   util/[email protected] +3 -3
195036   util/[email protected] +1 -1
195039   util/[email protected] +2 -2
195149   util/[email protected] +6 -7
195152   util/[email protected] +6 -7
195155   util/[email protected] +7 -9
195158   util/[email protected] +3 -3
195216   util/[email protected] +4 -4
195219   util/[email protected] +4 -4
195222   util/[email protected] +1 -1
195225   util/[email protected] +2 -2
195295   util/[email protected] +2 -2
195298   util/[email protected] +3 -3
195301   util/[email protected] +1 -1
195304   util/[email protected] +2 -2
195383   util/[email protected] +2 -2
195386   util/[email protected] +3 -3
195389   util/[email protected] +2 -2
195392   util/[email protected] +2 -2
195751   util/[email protected] +1 -1
195911   util/[email protected] +2 -2
195914   util/[email protected] +3 -3
195917   util/[email protected] +1 -1
195920   util/[email protected] +2 -2
196002   util/[email protected] +2 -2
196005   util/[email protected] +3 -3
196008   util/[email protected] +1 -1
196011   util/[email protected] +2 -2
196020   util/[email protected] +1 -1
196078   util/[email protected] +2 -2
196081   util/[email protected] +3 -3
196084   util/[email protected] +2 -2
196087   util/[email protected] +2 -2
196217   util/[email protected] +2 -2
196220   util/[email protected] +3 -3
196223   util/[email protected] +2 -2
196226   util/[email protected] +2 -2
196283   util/[email protected] +614 -460
196773   util/[email protected] +2 -2
196776   util/[email protected] +3 -3
196779   util/[email protected] +1 -1
196782   util/[email protected] +2 -2
196846   util/[email protected] +2 -2
196849   util/[email protected] +3 -3
196852   util/[email protected] +2 -2
196855   util/[email protected] +2 -2
196931   util/[email protected] +2 -2
196934   util/[email protected] +3 -3
196937   util/[email protected] +2 -2
196940   util/[email protected] +2 -2
197065   util/[email protected] +2 -2
197068   util/[email protected] +3 -3
197071   util/[email protected] +3 -4
197074   util/[email protected] +2 -2
197174   util/[email protected] +2 -2
197177   util/[email protected] +3 -3
197180   util/[email protected] +2 -2
197183   util/[email protected] +2 -2
197192   util/[email protected] +28 -58
197195   util/[email protected] +0 -12
197198   util/[email protected] +20 -29
197201   util/[email protected] +1 -18
197204   util/[email protected] +1 -8
197207   util/[email protected] +0 -4
197216   util/[email protected] +2 -2
197219   util/[email protected] +19 -19
197222   util/[email protected] +1 -1
197225   util/[email protected] +4 -4
197228   util/[email protected] +4 -4
197310   util/[email protected] +2 -2
197313   util/[email protected] +3 -3
197316   util/[email protected] +1 -1
197319   util/[email protected] +2 -2
197386   util/[email protected] +2 -2
197389   util/[email protected] +3 -3
197392   util/[email protected] +1 -1
197395   util/[email protected] +2 -2
197470   util/[email protected] +2 -2
197473   util/[email protected] +3 -3
197476   util/[email protected] +1 -1
197479   util/[email protected] +2 -2
197557   util/[email protected] +2 -2
197560   util/[email protected] +3 -3
197563   util/[email protected] +2 -2
197566   util/[email protected] +2 -2
197660   util/[email protected] +2 -2
197663   util/[email protected] +3 -3
197666   util/[email protected] +1 -1
197669   util/[email protected] +2 -2
197769   util/[email protected] +2 -2
197772   util/[email protected] +3 -3
197775   util/[email protected] +2 -2
197778   util/[email protected] +2 -2
197927   util/[email protected] +2 -2
197930   util/[email protected] +3 -3
197933   util/[email protected] +2 -2
197936   util/[email protected] +2 -2
198003   util/[email protected] +2 -2
198006   util/[email protected] +3 -3
198009   util/[email protected] +2 -2
198012   util/[email protected] +2 -2
198070   util/[email protected] +2 -2
198073   util/[email protected] +3 -3
198076   util/[email protected] +3 -3
198079   util/[email protected] +2 -2
198169   util/[email protected] +2 -2
198172   util/[email protected] +3 -3
198175   util/[email protected] +2 -2
198178   util/[email protected] +2 -2
198253   util/[email protected] +2 -2
198256   util/[email protected] +1 -1
198259   util/[email protected] +2 -2
198262   util/[email protected] +3 -3
198356   util/[email protected] +2 -2
198359   util/[email protected] +3 -3
198362   util/[email protected] +2 -2
198365   util/[email protected] +2 -2
198417   util/[email protected] +9 -10
198546   util/[email protected] +2 -2
198549   util/[email protected] +3 -3
198552   util/[email protected] +1 -1
198555   util/[email protected] +2 -2
198619   util/[email protected] +2 -2
198622   util/[email protected] +3 -3
198625   util/[email protected] +3 -3
198628   util/[email protected] +2 -2
198775   util/[email protected] +2 -2
198778   util/[email protected] +3 -3
198781   util/[email protected] +1 -1
198784   util/[email protected] +2 -2
198793   util/[email protected] +1 -1
198851   util/[email protected] +2 -2
198854   util/[email protected] +3 -3
198857   util/[email protected] +1 -1
198860   util/[email protected] +2 -2
198927   util/[email protected] +2 -2
198930   util/[email protected] +3 -3
198933   util/[email protected] +1 -1
198936   util/[email protected] +2 -2
199031   util/[email protected] +2 -2
199034   util/[email protected] +4 -4
199037   util/[email protected] +1 -1
199040   util/[email protected] +3 -3
199107   util/[email protected] +2 -2
199110   util/[email protected] +3 -3
199113   util/[email protected] +2 -2
199116   util/[email protected] +2 -2
199183   util/[email protected] +2 -2
199186   util/[email protected] +3 -3
199189   util/[email protected] +1 -1
199192   util/[email protected] +2 -2
199271   util/[email protected] +2 -2
199274   util/[email protected] +3 -3
199277   util/[email protected] +1 -1
199280   util/[email protected] +2 -2
199350   util/[email protected] +2 -2
199353   util/[email protected] +3 -3
199356   util/[email protected] +1 -1
199359   util/[email protected] +2 -2
199457   util/[email protected] +2 -2
199460   util/[email protected] +3 -3
199463   util/[email protected] +1 -1
199466   util/[email protected] +2 -2
199561   util/[email protected] +2 -2
199564   util/[email protected] +3 -3
199567   util/[email protected] +1 -1
199570   util/[email protected] +2 -2
199638   util/[email protected] +2 -2
199720   util/[email protected] +2 -2
199723   util/[email protected] +3 -3
199726   util/[email protected] +2 -2
199729   util/[email protected] +2 -2
199879   util/[email protected] +2 -2
199882   util/[email protected] +3 -3
199885   util/[email protected] +1 -1
199888   util/[email protected] +2 -2
199988   util/[email protected] +2 -2
199991   util/[email protected] +3 -3
199994   util/[email protected] +2 -2
199997   util/[email protected] +2 -2
200061   util/[email protected] +2 -2
200064   util/[email protected] +3 -3
200067   util/[email protected] +3 -3
200070   util/[email protected] +2 -2
200167   util/[email protected] +2 -2
200170   util/[email protected] +3 -3
200173   util/[email protected] +1 -1
200176   util/[email protected] +2 -2
200191   util/[email protected] +143 -202
200249   util/[email protected] +2 -2
200252   util/[email protected] +3 -3
200255   util/[email protected] +1 -1
200258   util/[email protected] +2 -2
200325   util/[email protected] +2 -2
200328   util/[email protected] +3 -3
200331   util/[email protected] +1 -1
200334   util/[email protected] +2 -2
200410   util/[email protected] +2 -2
200413   util/[email protected] +3 -3
200416   util/[email protected] +1 -1
200419   util/[email protected] +2 -2
200489   util/[email protected] +2 -2
200492   util/[email protected] +3 -3
200495   util/[email protected] +1 -1
200498   util/[email protected] +2 -2
200567   util/[email protected] +187 -146
200640   util/[email protected] +2 -2
200643   util/[email protected] +3 -3
200646   util/[email protected] +1 -1
200649   util/[email protected] +2 -2
200719   util/[email protected] +4 -4
200722   util/[email protected] +4 -4
200725   util/[email protected] +2 -2
200728   util/[email protected] +3 -3
200786   util/[email protected] +6 -5
200789   util/[email protected] +4 -4
200792   util/[email protected] +2 -2
200795   util/[email protected] +4 -4
200848   util/[email protected] +2 -0
200851   util/[email protected] +188 -200
200927   util/[email protected] +2 -2
200930   util/[email protected] +3 -3
200933   util/[email protected] +1 -1
200936   util/[email protected] +2 -2
201030   util/[email protected] +2 -2
201033   util/[email protected] +3 -3
201036   util/[email protected] +1 -1
201039   util/[email protected] +2 -2
201109   util/[email protected] +2 -2
201112   util/[email protected] +3 -3
201115   util/[email protected] +2 -2
201118   util/[email protected] +2 -2
201210   util/[email protected] +2 -2
201213   util/[email protected] +3 -3
201216   util/[email protected] +1 -1
201219   util/[email protected] +2 -2
201290   util/[email protected] +2 -2
201293   util/[email protected] +3 -3
201296   util/[email protected] +2 -2
201299   util/[email protected] +2 -2
201519   util/[email protected] +2 -2
201522   util/[email protected] +3 -3
201525   util/[email protected] +2 -2
201528   util/[email protected] +2 -2
201606   util/[email protected] +2 -2
201609   util/[email protected] +3 -3
201612   util/[email protected] +1 -1
201615   util/[email protected] +2 -2
201694   util/[email protected] +2 -2
201697   util/[email protected] +3 -3
201700   util/[email protected] +1 -1
201703   util/[email protected] +2 -2
201773   util/[email protected] +2 -2
201776   util/[email protected] +3 -3
201779   util/[email protected] +2 -2
201782   util/[email protected] +2 -2
201866   util/[email protected] +2 -2
201869   util/[email protected] +3 -3
201872   util/[email protected] +2 -2
201875   util/[email protected] +2 -2
201942   util/[email protected] +2 -2
201945   util/[email protected] +3 -3
201948   util/[email protected] +1 -1
201951   util/[email protected] +2 -2
202029   util/[email protected] +2 -2
202032   util/[email protected] +3 -3
202035   util/[email protected] +2 -2
202038   util/[email protected] +2 -2
202114   util/[email protected] +2 -2
202117   util/[email protected] +3 -3
202120   util/[email protected] +1 -1
202123   util/[email protected] +2 -2
202208   util/[email protected] +2 -2
202211   util/[email protected] +3 -3
202214   util/[email protected] +2 -2
202217   util/[email protected] +2 -2
202368   util/[email protected] +2 -2
202371   util/[email protected] +3 -3
202374   util/[email protected] +1 -1
202377   util/[email protected] +2 -2
202459   util/[email protected] +2 -2
202462   util/[email protected] +3 -3
202465   util/[email protected] +2 -2
202468   util/[email protected] +2 -2
202547   util/[email protected] +2 -2
202550   util/[email protected] +3 -3
202553   util/[email protected] +1 -1
202556   util/[email protected] +2 -2
202632   util/[email protected] +2 -2
202635   util/[email protected] +3 -3
202638   util/[email protected] +1 -1
202641   util/[email protected] +2 -2
202711   util/[email protected] +2 -2
202714   util/[email protected] +3 -3
202717   util/[email protected] +2 -2
202720   util/[email protected] +2 -2
202868   util/[email protected] +2 -2
202871   util/[email protected] +3 -3
202874   util/[email protected] +1 -1
202877   util/[email protected] +2 -2
202883   util/[email protected] +57 -1
202889   util/[email protected] +11 -8
202983   util/[email protected] +2 -2
202986   util/[email protected] +3 -3
202989   util/[email protected] +2 -2
202992   util/[email protected] +2 -2
203130   util/[email protected] +2 -2
203133   util/[email protected] +3 -3
203136   util/[email protected] +2 -2
203139   util/[email protected] +2 -2
203209   util/[email protected] +2 -2
203212   util/[email protected] +3 -3
203215   util/[email protected] +2 -2
203218   util/[email protected] +2 -2
203333   util/[email protected] +2 -2
203336   util/[email protected] +3 -3
203339   util/[email protected] +1 -1
203342   util/[email protected] +2 -2
203418   util/[email protected] +2 -2
203421   util/[email protected] +3 -3
203424   util/[email protected] +1 -1
203427   util/[email protected] +2 -2
203497   util/[email protected] +2 -2
203500   util/[email protected] +3 -3
203503   util/[email protected] +2 -2
203506   util/[email protected] +2 -2
203591   util/[email protected] +2 -2
203594   util/[email protected] +3 -3
203597   util/[email protected] +1 -1
203600   util/[email protected] +2 -2
203701   util/[email protected] +2 -2
203704   util/[email protected] +3 -3
203707   util/[email protected] +1 -1
203710   util/[email protected] +2 -2
203780   util/[email protected] +2 -2
203783   util/[email protected] +3 -3
203786   util/[email protected] +1 -1
203789   util/[email protected] +2 -2
203859   util/[email protected] +2 -2
203862   util/[email protected] +3 -3
203865   util/[email protected] +1 -1
203868   util/[email protected] +2 -2
203956   util/[email protected] +2 -2
203959   util/[email protected] +3 -3
203962   util/[email protected] +1 -1
203965   util/[email protected] +2 -2
204072   util/[email protected] +2 -2
204075   util/[email protected] +3 -3
204078   util/[email protected] +1 -1
204081   util/[email protected] +2 -2
204163   util/[email protected] +2 -2
204166   util/[email protected] +3 -3
204169   util/[email protected] +1 -1
204172   util/[email protected] +2 -2
204264   util/[email protected] +2 -2
204267   util/[email protected] +3 -3
204270   util/[email protected] +1 -1
204273   util/[email protected] +2 -2
204337   util/[email protected] +4 -5
204340   util/[email protected] +5 -6
204343   util/[email protected] +2 -3
204346   util/[email protected] +3 -3
204391   util/[email protected] +1 -1
204449   util/[email protected] +2 -2
204452   util/[email protected] +3 -3
204455   util/[email protected] +1 -1
204458   util/[email protected] +2 -2
204537   util/[email protected] +2 -2
204540   util/[email protected] +3 -3
204543   util/[email protected] +1 -1
204546   util/[email protected] +2 -2
204616   util/[email protected] +2 -2
204619   util/[email protected] +3 -3
204622   util/[email protected] +1 -1
204625   util/[email protected] +2 -2
204701   util/[email protected] +2 -2
204704   util/[email protected] +3 -3
204707   util/[email protected] +1 -1
204710   util/[email protected] +2 -2
204797   util/[email protected] +2 -2
204800   util/[email protected] +3 -3
204803   util/[email protected] +1 -1
204806   util/[email protected] +2 -2
204876   util/[email protected] +2 -2
204879   util/[email protected] +3 -3
204882   util/[email protected] +1 -1
204885   util/[email protected] +2 -2
204998   util/[email protected] +2 -2
205001   util/[email protected] +3 -3
205004   util/[email protected] +1 -1
205007   util/[email protected] +2 -2
205089   util/[email protected] +2 -2
205092   util/[email protected] +3 -3
205095   util/[email protected] +1 -1
205098   util/[email protected] +2 -2
205198   util/[email protected] +2 -2
205201   util/[email protected] +3 -3
205204   util/[email protected] +1 -1
205207   util/[email protected] +2 -2
205283   util/[email protected] +2 -2
205286   util/[email protected] +3 -3
205289   util/[email protected] +1 -1
205292   util/[email protected] +2 -2
205418   util/[email protected] +4 -4
205421   util/[email protected] +3 -3
205424   util/[email protected] +2 -2
205427   util/[email protected] +2 -2
206164   util/[email protected] +23 -14
206167   util/[email protected] +6 -6
206170   util/[email protected] +3 -3
206173   util/[email protected] +2 -2
206243   util/[email protected] +2 -2
206246   util/[email protected] +3 -3
206249   util/[email protected] +1 -1
206252   util/[email protected] +2 -2
206373   util/[email protected] +2 -2
206376   util/[email protected] +3 -3
206379   util/[email protected] +1 -1
206382   util/[email protected] +2 -2
206455   util/[email protected] +2 -2
206458   util/[email protected] +3 -3
206461   util/[email protected] +1 -1
206464   util/[email protected] +2 -2
206531   util/[email protected] +2 -2
206534   util/[email protected] +3 -3
206537   util/[email protected] +1 -1
206540   util/[email protected] +2 -2
206610   util/[email protected] +22 -13
206613   util/[email protected] +8 -8
206616   util/[email protected] +2 -2
206619   util/[email protected] +2 -2
207420   util/[email protected] +2 -2
207423   util/[email protected] +3 -3
207426   util/[email protected] +2 -2
207429   util/[email protected] +2 -2
207514   util/[email protected] +2 -2
207517   util/[email protected] +3 -3
207520   util/[email protected] +1 -1
207523   util/[email protected] +2 -2
207669   util/[email protected] +2 -2
207672   util/[email protected] +3 -3
207675   util/[email protected] +2 -2
207678   util/[email protected] +2 -2
207845   util/[email protected] +2 -2
207848   util/[email protected] +3 -3
207851   util/[email protected] +1 -1
207854   util/[email protected] +2 -2
207930   util/[email protected] +2 -2
207933   util/[email protected] +3 -3
207936   util/[email protected] +1 -1
207939   util/[email protected] +2 -2
208027   util/[email protected] +2 -2
208030   util/[email protected] +3 -3
208033   util/[email protected] +1 -1
208036   util/[email protected] +2 -2
208124   util/[email protected] +2 -2
208127   util/[email protected] +3 -3
208130   util/[email protected] +1 -1
208133   util/[email protected] +2 -2
208221   util/[email protected] +2 -2
208224   util/[email protected] +3 -3
208227   util/[email protected] +1 -1
208230   util/[email protected] +2 -2
208309   util/[email protected] +2 -2
208312   util/[email protected] +3 -3
208315   util/[email protected] +2 -2
208318   util/[email protected] +2 -2
208416   util/[email protected] +1 -0
208419   util/[email protected] +7 -6
208422   util/[email protected] +1 -0
208425   util/[email protected] +6 -12
208428   util/[email protected] +3 -3
208431   util/[email protected] +2 -2
209166   util/[email protected] +2 -2
209169   util/[email protected] +3 -3
209172   util/[email protected] +2 -2
209175   util/[email protected] +2 -2
209193   util/[email protected] +1 -1
209196   util/[email protected] +37 -20
209199   util/[email protected] +1 -1
209202   util/[email protected] +39 -19
209205   util/[email protected] +39 -19
209275   util/[email protected] +4 -4
209278   util/[email protected] +3 -3
209281   util/[email protected] +2 -2
209284   util/[email protected] +2 -2
209994   util/[email protected] +9 -8
209997   util/[email protected] +6 -12
210067   util/[email protected] +2 -2
210070   util/[email protected] +3 -3
210073   util/[email protected] +1 -1
210076   util/[email protected] +2 -2
210169   util/[email protected] +2 -2
210172   util/[email protected] +3 -3
210175   util/[email protected] +1 -1
210178   util/[email protected] +2 -2
210263   util/[email protected] +2 -2
210266   util/[email protected] +3 -3
210269   util/[email protected] +1 -1
210272   util/[email protected] +2 -2
210372   util/[email protected] +2 -2
210375   util/[email protected] +3 -3
210378   util/[email protected] +1 -1
210381   util/[email protected] +2 -2
210472   util/[email protected] +2 -2
210475   util/[email protected] +3 -3
210478   util/[email protected] +1 -1
210481   util/[email protected] +2 -2
210557   util/[email protected] +2 -2
210560   util/[email protected] +3 -3
210563   util/[email protected] +1 -1
210566   util/[email protected] +2 -2
210573     Delete: util/ntp-keygen-opts.c
210576     Delete: util/ntp-keygen-opts.h
210579     Delete: util/ntp-keygen-opts.texi
210582     Delete: util/ntp-keygen.1
210744   util/[email protected] +1035 -0
210745     BitKeeper file /deacon/backroom/ntp-dev/util/ntp-keygen-opts.c
210747   util/[email protected] +0 -0
210749   util/[email protected] +325 -0
210750     BitKeeper file /deacon/backroom/ntp-dev/util/ntp-keygen-opts.h
210752   util/[email protected] +0 -0
210754   util/[email protected] +366 -0
210755     BitKeeper file /deacon/backroom/ntp-dev/util/ntp-keygen-opts.texi
210757   util/[email protected] +0 -0
210759   util/[email protected] +176 -0
210760     BitKeeper file /deacon/backroom/ntp-dev/util/ntp-keygen.1
210762   util/[email protected] +0 -0
210840   util/[email protected] +2 -2
210843   util/[email protected] +3 -3
210846   util/[email protected] +1 -1
210849   util/[email protected] +2 -2
210932   util/[email protected] +2 -2
210935   util/[email protected] +3 -3
210938   util/[email protected] +1 -1
210941   util/[email protected] +2 -2
211028   util/[email protected] +2 -2
211031   util/[email protected] +3 -3
211034   util/[email protected] +1 -1
211037   util/[email protected] +2 -2
211123   util/[email protected] +2 -2
211126   util/[email protected] +3 -3
211129   util/[email protected] +1 -1
211132   util/[email protected] +2 -2
211202   util/[email protected] +2 -2
211205   util/[email protected] +3 -3
211208   util/[email protected] +1 -1
211211   util/[email protected] +2 -2
211293   util/[email protected] +2 -2
211296   util/[email protected] +3 -3
211299   util/[email protected] +1 -1
211302   util/[email protected] +2 -2
211387   util/[email protected] +2 -2
211390   util/[email protected] +3 -3
211393   util/[email protected] +1 -1
211396   util/[email protected] +2 -2
211472   util/[email protected] +2 -2
211475   util/[email protected] +3 -3
211478   util/[email protected] +2 -2
211481   util/[email protected] +2 -2
211551   util/[email protected] +2 -2
211554   util/[email protected] +3 -3
211557   util/[email protected] +2 -2
211560   util/[email protected] +2 -2
211663   util/[email protected] +2 -2
211666   util/[email protected] +3 -3
211669   util/[email protected] +1 -1
211672   util/[email protected] +2 -2
211751   util/[email protected] +2 -2
211754   util/[email protected] +3 -3
211757   util/[email protected] +1 -1
211760   util/[email protected] +2 -2
211854   util/[email protected] +2 -2
211857   util/[email protected] +3 -3
211860   util/[email protected] +1 -1
211863   util/[email protected] +2 -2
211933   util/[email protected] +2 -2
211936   util/[email protected] +3 -3
211939   util/[email protected] +1 -1
211942   util/[email protected] +2 -2
212081   util/[email protected] +2 -2
212084   util/[email protected] +3 -3
212087   util/[email protected] +1 -1
212090   util/[email protected] +2 -2
212166   util/[email protected] +2 -2
212169   util/[email protected] +3 -3
212172   util/[email protected] +1 -1
212175   util/[email protected] +2 -2
212245   util/[email protected] +2 -2
212248   util/[email protected] +3 -3
212251   util/[email protected] +1 -1
212254   util/[email protected] +2 -2
212269   util/[email protected] +3 -3
212393   util/[email protected] +2 -2
212396   util/[email protected] +3 -3
212399   util/[email protected] +2 -2
212402   util/[email protected] +2 -2
212478   util/[email protected] +2 -2
212481   util/[email protected] +3 -3
212484   util/[email protected] +2 -2
212487   util/[email protected] +2 -2
212710   util/[email protected] +2 -2
212713   util/[email protected] +3 -3
212716   util/[email protected] +1 -1
212719   util/[email protected] +2 -2
212830   util/[email protected] +2 -2
212833   util/[email protected] +3 -3
212836   util/[email protected] +1 -1
212839   util/[email protected] +2 -2
212866   util/[email protected] +1 -1
212914   util/[email protected] +1 -1
212917   util/[email protected] +16 -16
212920   util/[email protected] +4 -4
213351   util/[email protected] +1 -1
213354   util/[email protected] +0 -11
213357   util/[email protected] +14 -14
213360   util/[email protected] +3 -3
213464   util/[email protected] +2 -2
213467   util/[email protected] +3 -3
213470   util/[email protected] +1 -1
213473   util/[email protected] +2 -2
213576   util/[email protected] +2 -2
213579   util/[email protected] +3 -3
213582   util/[email protected] +1 -1
213585   util/[email protected] +2 -2
213655   util/[email protected] +2 -2
213658   util/[email protected] +3 -3
213661   util/[email protected] +2 -2
213664   util/[email protected] +2 -2
213836   util/[email protected] +2 -2
213839   util/[email protected] +3 -3
213842   util/[email protected] +1 -1
213845   util/[email protected] +2 -2
213924   util/[email protected] +2 -2
213927   util/[email protected] +3 -3
213930   util/[email protected] +1 -1
213933   util/[email protected] +2 -2
214018   util/[email protected] +2 -2
214021   util/[email protected] +3 -3
214024   util/[email protected] +2 -2
214027   util/[email protected] +2 -2
214115   util/[email protected] +2 -2
214118   util/[email protected] +3 -3
214121   util/[email protected] +1 -1
214124   util/[email protected] +2 -2
214215   util/[email protected] +2 -2
214218   util/[email protected] +3 -3
214221   util/[email protected] +2 -2
214224   util/[email protected] +2 -2
214312   util/[email protected] +2 -2
214315   util/[email protected] +3 -3
214318   util/[email protected] +1 -1
214321   util/[email protected] +2 -2
214403   util/[email protected] +2 -2
214406   util/[email protected] +3 -3
214409   util/[email protected] +1 -1
214412   util/[email protected] +2 -2
214498   util/[email protected] +2 -2
214501   util/[email protected] +3 -3
214504   util/[email protected] +2 -2
214507   util/[email protected] +2 -2
214610   util/[email protected] +2 -2
214613   util/[email protected] +3 -3
214616   util/[email protected] +1 -1
214619   util/[email protected] +2 -2
214704   util/[email protected] +2 -2
214707   util/[email protected] +3 -3
214710   util/[email protected] +1 -1
214713   util/[email protected] +2 -2
214792   util/[email protected] +2 -2
214795   util/[email protected] +3 -3
214798   util/[email protected] +1 -1
214801   util/[email protected] +2 -2
214890   util/[email protected] +2 -2
214893   util/[email protected] +3 -3
214896   util/[email protected] +1 -1
214899   util/[email protected] +2 -2
214995   util/[email protected] +2 -2
214998   util/[email protected] +3 -3
215001   util/[email protected] +1 -1
215004   util/[email protected] +2 -2
215097   util/[email protected] +4 -4
215100   util/[email protected] +3 -3
215103   util/[email protected] +2 -2
215106   util/[email protected] +2 -2
215172   util/[email protected] +1 -1
215175   util/[email protected] +1 -1
215178   util/[email protected] +2 -2
215181   util/[email protected] +1 -1
215229   util/[email protected] +3 -3
215232   util/[email protected] +1 -1
215497   util/[email protected] +2 -2
215500   util/[email protected] +3 -3
215503   util/[email protected] +1 -1
215506   util/[email protected] +2 -2
215594   util/[email protected] +2 -2
215597   util/[email protected] +3 -3
215600   util/[email protected] +1 -1
215603   util/[email protected] +2 -2
215691   util/[email protected] +2 -2
215694   util/[email protected] +3 -3
215697   util/[email protected] +1 -1
215700   util/[email protected] +2 -2
215788   util/[email protected] +2 -2
215791   util/[email protected] +3 -3
215794   util/[email protected] +1 -1
215797   util/[email protected] +2 -2
215876   util/[email protected] +4 -4
215879   util/[email protected] +3 -3
215882   util/[email protected] +2 -2
215885   util/[email protected] +2 -2
216044   util/[email protected] +5 -3
216047   util/[email protected] +6 -4
216159   util/[email protected] +3 -3
216162   util/[email protected] +1 -1
216165   util/[email protected] +2 -2
216168   util/[email protected] +1 -1
216238   util/[email protected] +4 -4
216241   util/[email protected] +3 -3
216244   util/[email protected] +2 -2
216247   util/[email protected] +2 -2
216520   util/[email protected] +3 -2
216523   util/[email protected] +1 -1
216526   util/[email protected] +2 -2
216529   util/[email protected] +2 -2
216599   util/[email protected] +43 -43
216602   util/[email protected] +10 -10
216605   util/[email protected] +1 -1
216608   util/[email protected] +2 -2
217065   util/[email protected] +2 -2
217068   util/[email protected] +3 -3
217071   util/[email protected] +1 -1
217074   util/[email protected] +2 -2
217162   util/[email protected] +2 -2
217165   util/[email protected] +3 -3
217168   util/[email protected] +1 -1
217171   util/[email protected] +2 -2
217272   util/[email protected] +2 -2
217275   util/[email protected] +3 -3
217278   util/[email protected] +1 -1
217281   util/[email protected] +2 -2
217370   util/[email protected] +2 -2
217373   util/[email protected] +3 -3
217376   util/[email protected] +1 -1
217379   util/[email protected] +2 -2
217470   util/[email protected] +2 -2
217473   util/[email protected] +3 -3
217476   util/[email protected] +1 -1
217479   util/[email protected] +2 -2
217571   util/[email protected] +2 -2
217574   util/[email protected] +3 -3
217577   util/[email protected] +1 -1
217580   util/[email protected] +2 -2
217740   util/[email protected] +2 -2
217743   util/[email protected] +3 -3
217746   util/[email protected] +1 -1
217749   util/[email protected] +2 -2
217825   util/[email protected] +2 -2
217828   util/[email protected] +102 -121
217831   util/[email protected] +1 -1
217834   util/[email protected] +2 -2
218012   util/[email protected] +2 -2
218015   util/[email protected] +3 -3
218018   util/[email protected] +1 -1
218021   util/[email protected] +2 -2
218145   util/[email protected] +2 -2
218148   util/[email protected] +125 -4
218151   util/[email protected] +1 -1
218154   util/[email protected] +2 -2
218166   util/[email protected] +4 -4
218214   util/[email protected] +3 -2
218217   util/[email protected] +1 -0
218299   util/[email protected] +2 -2
218302   util/[email protected] +3 -3
218305   util/[email protected] +1 -1
218308   util/[email protected] +2 -2
218427   util/[email protected] +2 -2
218430   util/[email protected] +3 -3
218433   util/[email protected] +1 -1
218436   util/[email protected] +2 -2
218542   util/[email protected] +2 -2
218545   util/[email protected] +3 -3
218548   util/[email protected] +1 -1
218551   util/[email protected] +2 -2
218628   util/[email protected] +2 -2
218631   util/[email protected] +3 -3
218634   util/[email protected] +1 -1
218637   util/[email protected] +2 -2
218770   util/[email protected] +2 -2
218773   util/[email protected] +3 -3
218776   util/[email protected] +1 -1
218779   util/[email protected] +2 -2
218855   util/[email protected] +2 -2
218858   util/[email protected] +3 -3
218861   util/[email protected] +2 -2
218864   util/[email protected] +2 -2
219023   util/[email protected] +2 -2
219026   util/[email protected] +3 -3
219029   util/[email protected] +1 -1
219032   util/[email protected] +2 -2
219155   util/[email protected] +29 -4
219158   util/[email protected] +7 -3
219161   util/[email protected] +5 -1
219164   util/[email protected] +2 -2
219251   util/[email protected] +2 -2
219254   util/[email protected] +3 -3
219257   util/[email protected] +1 -1
219260   util/[email protected] +2 -2
219320   util/[email protected] +6 -3
219749   util/[email protected] +54 -36
219752   util/[email protected] +0 -0
219755   util/[email protected] +21 -10
219758   util/[email protected] +0 -0
219761   util/[email protected] +3 -3
219764   util/[email protected] +0 -0
219767   util/[email protected] +23 -23
219770   util/[email protected] +0 -0
219964   util/[email protected] +0 -3
220488   util/[email protected] +0 -0
221225   util/[email protected] +989 -0
221227   util/[email protected] +0 -0
221228     BitKeeper file /deacon/backroom/ntp-dev-hms/util/ntp-keygen-opts.c
221230   util/[email protected] +206 -0
221232   util/[email protected] +0 -0
221233     BitKeeper file /deacon/backroom/ntp-dev-hms/util/ntp-keygen-opts.h
221235   util/[email protected] +1 -0
221237   util/[email protected] +0 -0
221238     BitKeeper file /deacon/backroom/ntp-dev-hms/util/ntp-keygen-opts.menu
221240   util/[email protected] +362 -0
221242   util/[email protected] +0 -0
221243     BitKeeper file /deacon/backroom/ntp-dev-hms/util/ntp-keygen-opts.texi
221245   util/[email protected] +176 -0
221247   util/[email protected] +0 -0
221248     BitKeeper file /deacon/backroom/ntp-dev-hms/util/ntp-keygen.1
222012   util/[email protected] +3 -3
222015   util/[email protected] +3 -32
222758   util/[email protected] +4 -4
222868   util/[email protected] +1 -1
222875   util/[email protected] +1 -1
223173   util/[email protected] +1 -1
223520   util/[email protected] +4 -4
223524   util/[email protected] +3 -27
223527   util/[email protected] +8 -39
223602   util/[email protected] +46 -172
223643     added util/ntp-keygen.1
223645   util/[email protected] +21 -4
223648   util/[email protected] +263 -0
223650   util/[email protected] +0 -0
223651     BitKeeper file /pogo/users/stenn/ntp-dev-ag/util/ntp-keygen-opts.def
223743   util/[email protected] +1 -0
223749   util/[email protected] +1 -1
223752   util/[email protected] +5 -4
223755   util/[email protected] +650 -0
223757   util/[email protected] +0 -0
223758     BitKeeper file /deacon/backroom/ntp-dev/util/tg.c
223887   util/[email protected] +2 -2
225110   util/[email protected] +1 -0
226272   util/[email protected] +1 -1
226275   util/[email protected] +2 -2
227246   util/[email protected] +1 -1
228035   util/[email protected] +5 -1
229128   util/[email protected] +4 -0
229240   util/[email protected] +3 -0
229243   util/[email protected] +5 -4
229492   util/[email protected] +7 -1
230530   util/[email protected] +5 -1
230643   util/[email protected] +44 -4
231159   util/[email protected] +2 -2
231204   util/[email protected] +2 -2
231207   util/[email protected] +49 -5
231325   util/[email protected] +67 -5
231712   util/[email protected] +1 -1
232139   util/[email protected] +15 -16
232142   util/[email protected] +412 -0
232144   util/[email protected] +0 -0
232145     BitKeeper file /backroom/ntp-dev/util/jitter.h
232265   util/[email protected] +1 -2
232627   util/[email protected] +8 -7
232730   util/[email protected] +4 -1