diff options
| author | Jörg Frings-Fürst <debian@jff.email> | 2022-02-07 06:57:44 +0100 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff.email> | 2022-02-07 06:57:44 +0100 |
| commit | 6ffaa52cf732a84c0f8259dbc9b8183960ec5c33 (patch) | |
| tree | d3136c22e3e805cfc0efe78412cce905a17e0c8d /lib/stdint.mini.h | |
| parent | 591cbf5878b7d4105b275585b9db1324c9dfce56 (diff) | |
| parent | af151c593704a40e10efb28d1e3dd59a23a661f3 (diff) | |
Merge branch 'release/debian/1.0-1'debian/1.0-1
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 2afadcd1..813de122 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. |