diff options
author | Matth?us G. Chajdas <dev@anteru.net> | 2019-11-10 13:56:53 +0100 |
---|---|---|
committer | Matth?us G. Chajdas <dev@anteru.net> | 2019-11-10 13:56:53 +0100 |
commit | 1dd3124a9770e11b6684e5dd1e6bc15a0aa3bc67 (patch) | |
tree | 87a171383266dd1f64196589af081bc2f8e497c3 /tests/examplefiles/ints.php | |
parent | f1c080e184dc1bbc36eaa7cd729ff3a499de568a (diff) | |
download | pygments-master.tar.gz |
Diffstat (limited to 'tests/examplefiles/ints.php')
-rw-r--r-- | tests/examplefiles/ints.php | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/tests/examplefiles/ints.php b/tests/examplefiles/ints.php deleted file mode 100644 index 516ab2c8..00000000 --- a/tests/examplefiles/ints.php +++ /dev/null @@ -1,10 +0,0 @@ -<?php - -$x = array(0123, 0x0a, -0x0a, -0123, 12, -12); - -?> -<?php -$a = 1.234; -$b = 1.2e3; -$c = 7E-10; -?> |