diff options
author | Jörg Frings-Fürst <debian@jff.email> | 2022-01-08 11:53:52 +0100 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff.email> | 2022-01-08 11:53:52 +0100 |
commit | fa838e76139763f902c7d27cb9e1d393ed6a15e4 (patch) | |
tree | 7d0ae09775ea950056193eaa2ca93844299d46f1 /lib/stdint.mini.h | |
parent | c78359d9542c86b972aac373efcf7bc7a8a560e5 (diff) | |
parent | 2959e59fab3bab834368adefd90bd4b1b094366b (diff) |
Merge branch 'feature/upstream' into develop
Diffstat (limited to 'lib/stdint.mini.h')
-rw-r--r-- | lib/stdint.mini.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/stdint.mini.h b/lib/stdint.mini.h index 2afadcd..813de12 100644 --- a/lib/stdint.mini.h +++ b/lib/stdint.mini.h @@ -13,7 +13,7 @@ GNU Lesser General Public License for more details. You should have received a copy of the GNU Lesser General Public License - along with this program; if not, see <http://www.gnu.org/licenses/>. */ + along with this program; if not, see <https://www.gnu.org/licenses/>. */ /* * Subset of ISO C 99 <stdint.h> for platforms that lack it. |