From f0fe0c20fc47436c1644c37a63e00cc52cc82b6d Mon Sep 17 00:00:00 2001 From: William Date: Sun, 30 Apr 2023 23:11:25 +0100 Subject: [PATCH] Add license header --- .idea/workspace.xml | 118 +++++++++++++++--- HEADER | 16 +++ build.gradle | 30 +++-- .../william278/paginedown/ListOptions.java | 19 +++ .../william278/paginedown/PaginatedList.java | 19 +++ .../paginedown/PaginationException.java | 19 +++ .../paginedown/PaginatedListTests.java | 19 +++ 7 files changed, 217 insertions(+), 23 deletions(-) create mode 100644 HEADER diff --git a/.idea/workspace.xml b/.idea/workspace.xml index 7b837b4..ace0747 100644 --- a/.idea/workspace.xml +++ b/.idea/workspace.xml @@ -4,7 +4,15 @@