| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | CSV.ml | 2157 | logplain |
| -rw-r--r-- | ContextMenu.ml | 1098 | logplain |
| d--------- | Dom | 325 | logplain |
| -rw-r--r-- | File.ml | 548 | logplain |
| -rw-r--r-- | FontAwesome.ml | 15096 | logplain |
| -rw-r--r-- | Fun.ml | 25 | logplain |
| -rw-r--r-- | Leaflet.ml | 1769 | logplain |
| -rw-r--r-- | Modal.ml | 661 | logplain |
| -rw-r--r-- | Option.ml | 159 | logplain |
| -rw-r--r-- | String.ml | 798 | logplain |
| -rw-r--r-- | URI.ml | 71 | logplain |
 |
index : map | |
| Put customized markers on a map. | Joris |
| aboutsummaryrefslogtreecommitdiff |