From be0e78135908e450d9c12c10d3c1c72d25ffbd08 Mon Sep 17 00:00:00 2001 From: Meir Rotstein Date: Tue, 17 Apr 2018 23:48:16 +0300 Subject: [PATCH] change # of example after merge --- examples/{14_selection_api.html => 15_selection_api.html} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename examples/{14_selection_api.html => 15_selection_api.html} (100%) diff --git a/examples/14_selection_api.html b/examples/15_selection_api.html similarity index 100% rename from examples/14_selection_api.html rename to examples/15_selection_api.html